Accelerating Interpolation-Based Model-Checking
From MaRDI portal
Publication:5458343
DOI10.1007/978-3-540-78800-3_32zbMath1134.68400MaRDI QIDQ5458343
Emmanuel Fleury, Nicolas Caniart, Jérôme Leroux, Marc Zeitoun
Publication date: 11 April 2008
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-540-78800-3_32
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- On iterating linear transformations over recognizable sets of integers
- Semigroups, Presburger formulas, and languages
- An interpolating theorem prover
- Counterexample-guided abstraction refinement for symbolic model checking
- Lazy abstraction
- Automated Technology for Verification and Analysis
- Lazy Abstraction with Interpolants
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification