Verifying Systems with Infinite but Regular State Spaces
Abstract elided by the publisher.
Related papers
- Transitive Closures of Regular Relations for Verifying Infinite-State Systems TACAS 2000
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs TACAS 2016
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Quantitative Supermartingale Certificates CAV 2025
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022