Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
No abstract available.
Related papers
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF TACAS 2017
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- Sigma*: symbolic learning of input-output specifications POPL 2013
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy TACAS 2011