Empirically Efficient Verification for a Class of Infinite-State Systems
Abstract elided by the publisher.
Related papers
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Incremental, Inductive Coverability CAV 2013
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
- Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis CAV 1999
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Efficient Loop Conditions for Bounded Model Checking Hyperproperties TACAS 2023
- On Automation of CTL* Verification for Infinite-State Systems CAV 2015
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014