Entdecken Sie über 250.000 englischsprachige Bücher, Zeitungen und Zeitschriften. Mehr erfahren und bestellen bei Amazon.com in den USA. |
Produktinformation
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
SAT-based verification of discrete systems has become one of the most effective technique within the last 10 years, such that industrial as well as academic applications heavily rely on it.
The book covers the whole range of a SAT-based tool application. We propose extensions and concepts that concentrate on the core of a SAT-solver. However, these proposals are then transferred to novel verification models. Moreover, we describe approaches that incorporate the structure of the problem to exploit knowledge gained during the verification process on the level of the SAT-solver.
The main focus of the book is on the verification of incomplete system designs, which occur for example in the early phase of a design. We describe various SAT-based modeling concepts that vary regarding their expressiveness and computational resources. The proposed methods are evaluated experimentally to guarantee their applicability in practice.
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
|
Noch keine Kundenrezensionen vorhanden.
|
|||
|
Videorezensionen
|
|
|
Das Forum zu diesem Produkt
Fragen stellen. Meinungen austauschen. Neues erfahren.Aktive Diskussionen in ähnlichen Foren
|
Ähnliche Foren
|
|||||||||||||||||||||||||||||||
|
Sobald Sie sich Produktseiten oder Suchergebnisse angesehen haben, finden Sie diese Seiten zu Ihrer Information hier aufgeführt. |
