Unfoldings A Partial-Order Approach to Model Checking /

• Κύριοι συγγραφείς: Esparza, Javier (Συγγραφέας), Heljanko, Keijo (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Monographs in Theoretical Computer Science An EATCS Series,
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Theory of Computation.; Software Engineering.

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 concu...

Πίνακας περιεχομένων:

• Transition Systems and Products
• Unfolding Products
• Search Procedures for the Executability Problem
• More on the Executability Problem
• Search Procedures for the Repeated Executability Problem
• Search Procedures for the Livelock Problem
• Model Checking LTL
• Summary, Applications, Extensions, and Tools.