Efficient Image Computation in Infinite State Model Checking
Abstract elided by the publisher.
Related papers
- Image Computation in Infinite State Model Checking CAV 2004
- VoxLogicA: A Spatial Model Checker for Declarative Image Analysis TACAS 2019
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- Selfless Interpolation for Infinite-State Model Checking VMCAI 2018
- Global Model-Checking of Infinite-State Systems CAV 2004
- Model Checking Infinite-State Markov Chains TACAS 2005
- Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking CAV 2002