Esparza, J: Unfoldings
A Partial-Order Approach to Model Checking
Von:Esparza, Javier;Heljanko, Keijo
ISBN: 9783540774259
ISBN-10: 3540774254
Artikelnummer: 181333
Lieferantenbestellnummer: 2641720
Springer-Verlag GmbH,Geb ,2008 ,172 Seiten
Lieferbar in 1 Tagen.
Verkaufspreis: 129,99 €
Incl. 7.00 % MWSt.
Sie sind Händler? Dann loggen Sie sich bitte ein, um rabattierte Nettopreise zu sehen.
PIn 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./P
Wir behalten uns Änderungen von Preisen, Rabatten und Lieferzeiten vor.