Transition-Based Directed Model Checking
From MaRDI portal
Publication:3617760
DOI10.1007/978-3-642-00768-2_19zbMath1234.68268MaRDI QIDQ3617760
Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
Publication date: 31 March 2009
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_19
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Comparing model checking and logical reasoning for real-time systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
- Fast Directed Model Checking Via Russian Doll Abstraction
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Model Checking Software
- Model Checking Software
- Planning as heuristic search