Robust Model-Checking of Timed Automata via Pumping in Channel Machines
From MaRDI portal
Publication:3172846
DOI10.1007/978-3-642-24310-3_8zbMath1348.68122MaRDI QIDQ3172846
Nicolas Markey, Patricia Bouyer, Ocan Sankur
Publication date: 7 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_8
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Relating syntactic and semantic perturbations of hybrid automata, Robust synthesis for real-time systems, Robust reachability in timed automata and games: a game-based approach, Combining free choice and time in Petri nets, Model measuring for discrete and hybrid systems, Shrinking timed automata
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Robust safety of timed automata
- A theory of timed automata
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- Dynamical properties of timed automata
- Almost ASAP semantics: from timed models to timed implementations
- Shrinking Timed Automata.
- Quantitative Robustness Analysis of Flat Timed Automata
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Robust Analysis of Timed Automata Via Channel Machines