Bounded Model Checking for Partial Kripke Structures

DOI10.1007/978-3-540-85762-4_26zbMath1161.68589OpenAlexW1553501722MaRDI QIDQ5505615

Heike Wehrheim

Publication date: 27 January 2009

Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_26

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Uses Software

• CAMA

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bounded Model Checking for Partial Kripke Structures