Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
No abstract available.
Related papers
- Parameterized Verification of Quantum Circuits POPL 2026
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Decision Procedures for Sequence Theories CAV 2023
- Iterating Transducers in the Large (Extended Abstract) CAV 2003
- Solving string constraints with Regex-dependent functions through transducers with priorities and variables POPL 2022