Fast Directed Model Checking Via Russian Doll Abstraction
No abstract available.
Related papers
- Correct Probabilistic Model Checking with Floating-Point Arithmetic TACAS 2022
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking TACAS 2007
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Fast Mu-Calculus Model Checking when Tree-Width Is Bounded CAV 2003
- Fast and exact analysis for LRU caches POPL 2019
- Property Directed Reachability for Generalized Petri Nets TACAS 2022
- Verified Model Checking of Timed Automata TACAS 2018