Unfoldings
Autor: | Javier Esparza, Keijo Heljanko |
---|---|
EAN: | 9783540774266 |
eBook Format: | |
Sprache: | Englisch |
Produktart: | eBook |
Veröffentlichungsdatum: | 12.03.2008 |
Untertitel: | A Partial-Order Approach to Model Checking |
Kategorie: | |
Schlagworte: | Algorithms Automat algorithm distributed systems logic model checking verification |
96,29 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.