Articles liés à Unfoldings: A Partial-Order Approach to Model Checking
Synopsis
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components.
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 a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies.
The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 24,26
EUR 7,95 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Unfoldings: A Partial-Order Approach to Model Checking
Image fournie par le vendeur
Unfoldings. A Partial-Order Approach to Model Checking.
Edité par
Berlin, Springer Berlin Heidelberg, 2008
ISBN 10 : 3540774254
ISBN 13 : 9783540774259
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. 172 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540774259 Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 2340501
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Edité par
Springer 27.03.2008., 2008
ISBN 10 : 3540774254
ISBN 13 : 9783540774259
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Auflage: 2008. 172 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 23,6 x 15,8 x 1,6 cm, Gebundene Ausgabe. N° de réf. du vendeur 370923
Quantité disponible : 1 disponible(s)
Image d'archives
Unfoldings : A Partial-Order Approach to Model Checking
Edité par
Springer Berlin Heidelberg, 2008
ISBN 10 : 3540774254
ISBN 13 : 9783540774259
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 188 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 4160485/1
Quantité disponible : 1 disponible(s)
Image d'archives
Unfoldings : A Partial-Order Approach to Model Checking
Edité par
Springer Berlin Heidelberg, 2008
ISBN 10 : 3540774254
ISBN 13 : 9783540774259
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 188 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 4160485/2
Quantité disponible : 1 disponible(s)
Image d'archives
Unfoldings
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 188. N° de réf. du vendeur 18288393
Quantité disponible : 4 disponible(s)
Image d'archives
Unfoldings
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 188. N° de réf. du vendeur 26288387
Quantité disponible : 4 disponible(s)
Image d'archives
Unfoldings
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 188 Illus. N° de réf. du vendeur 7592284
Quantité disponible : 4 disponible(s)
Image d'archives
Unfoldings (Hb)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-76188
Quantité disponible : 5 disponible(s)
Image d'archives
Unfoldings (Hb)
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-76188
Quantité disponible : 5 disponible(s)
Image d'archives
Unfoldings (Hb) (Hb 2008)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-270593
Quantité disponible : Plus de 20 disponibles