Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems
Abstract elided by the publisher.
Related papers
- Minimal-Time Synthesis for Parametric Timed Automata TACAS 2019
- Inductive Diagrams for Causal Reasoning OOPSLA 2024
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023
- Giving semantics to program-counter labels via secure effects POPL 2021
- Extending nuXmv with Timed Transition Systems and Timed Temporal Properties CAV 2019
- Parametric polymorphism and operational improvement ICFP 2018
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- Reasoning about the POSIX file system: local update and global pathnames OOPSLA 2015