FMona: A Tool for Expressing Validation Techniques over Infinite State Systems
Abstract elided by the publisher.
Related papers
- Runtime Verification Based on Register Automata TACAS 2013
- Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems CAV 2025
- Parameterized Infinite-State Reactive Synthesis POPL 2026
- Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis POPL 2025
- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems CAV 2021
- Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking) TACAS 2026
- Branching Bisimulation Learning CAV 2025
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026