Taming Infinite State Spaces
No abstract available.
Related papers
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Verifying Systems with Infinite but Regular State Spaces CAV 1998
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) CAV 1996
- Taming context-sensitive languages with principled stateful parsing SLE 2016
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- sweap: Reactive Synthesis for Infinite-State Integer Problems CAV 2026
- ROME: Maximizing GPU Efficiency for All-Pairs Shortest Path via Taming Fine-Grained Irregularities PPoPP 2026
- Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution OOPSLA 2026