Global Model-Checking of Infinite-State Systems
No abstract available.
Related papers
- Global Guidance for Local Generalization in Model Checking CAV 2020
- 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
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving CAV 1995
- Characterizing Implementability of Global Protocols with Infinite States and Data OOPSLA 2025
- Parameterized Verification of Infinite-State Processes with Global Conditions CAV 2007
- Image Computation in Infinite State Model Checking CAV 2004
- Selfless Interpolation for Infinite-State Model Checking VMCAI 2018