Robust model-checking of timed automata via pumping in channel machines
From MaRDI portal
Publication:3172846
DOI10.1007/978-3-642-24310-3_8zbMATH Open1348.68122OpenAlexW2133170941MaRDI QIDQ3172846FDOQ3172846
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
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- A theory of timed automata
- Robust safety of timed automata
- Almost ASAP semantics: from timed models to timed implementations
- Shrinking timed automata
- Quantitative Robustness Analysis of Flat Timed Automata
- Title not available (Why is that?)
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Title not available (Why is that?)
- Dynamical properties of timed automata
- Robust Analysis of Timed Automata Via Channel Machines
Cited In (9)
- Relating syntactic and semantic perturbations of hybrid automata
- Robust safety of timed automata
- Model measuring for discrete and hybrid systems
- Shrinking timed automata
- Combining free choice and time in Petri nets
- Robust Analysis of Timed Automata Via Channel Machines
- Robust reachability in timed automata and games: a game-based approach
- Symbolic Robustness Analysis of Timed Automata
- Robust synthesis for real-time systems
Uses Software
This page was built for publication: Robust model-checking of timed automata via pumping in channel machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172846)
