Image Computation in Infinite State Model Checking
Abstract elided by the publisher.
Related papers
- Efficient Image Computation in Infinite State Model Checking CAV 2003
- VoxLogicA: A Spatial Model Checker for Declarative Image Analysis TACAS 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
- 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