Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
No abstract available.
Related papers
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- Fairness for Infinite-State Systems TACAS 2015
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives CAV 2018
- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs TACAS 2016
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Image Computation in Infinite State Model Checking CAV 2004