Linear Parametric Model Checking of Timed Automata
Abstract elided by the publisher.
Related papers
- Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems CAV 2017
- Parametrized Verification of Linear Networks Using Automata as Invariants CAV 1997
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- Decision Procedures for Sequence Theories CAV 2023
- Timed Automata Relaxation for Reachability TACAS 2021
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021