Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving
No abstract available.
Related papers
- Connecting Higher-Order Separation Logic to a First-Order Outside World ESOP 2020
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Global Model-Checking of Infinite-State Systems CAV 2004
- CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems TACAS 2026
- Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic CAV 1997