- Taschenbuch: 236 Seiten
- Verlag: Südwestdeutscher Verlag für Hochschulschriften (13. Februar 2009)
- Sprache: Englisch
- ISBN-10: 3838101022
- ISBN-13: 978-3838101026
- Größe und/oder Gewicht: 22,9 x 15,2 x 1,3 cm
- Amazon Bestseller-Rang: Nr. 1.892.375 in Englische Bücher (Siehe Top 100 in Englische Bücher)
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
Produktinformation |
Produktbeschreibungen
Kurzbeschreibung
The verification of systems to guarantee their correct behavior is discussed in this book. The mainly applied algorithmic method is the model checking technique combined with algorithms for solving the satisfiability problem (short: SAT).
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.
Über den Autor
Marc Herbstritt received the diploma and the Ph.D. degree in computer science from Albert-Ludwigs-University, Freiburg (Germany), in 2000 and 2008, respectively. From 2004-2007, he worked at the German Transregional Collaborative Reasearch Center AVACS. His research interests focus on satisfiability-based verification methodologies.
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. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Noch keine Kundenrezensionen vorhanden.
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
