Unfoldings A Partial-Order Approach to Model Checking /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Esparza, Javier (Συγγραφέας), Heljanko, Keijo (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Σειρά:Monographs in Theoretical Computer Science An EATCS Series,
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.