Robust Model-Checking of Timed Automata via Pumping in Channel Machines

DOI10.1007/978-3-642-24310-3_8zbMath1348.68122OpenAlexW2133170941MaRDI 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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Model measuring for discrete and hybrid systems ⋮ Shrinking timed automata ⋮ Robust synthesis for real-time systems ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Combining free choice and time in Petri nets

Uses Software

• Kronos
• Uppaal

Cites Work

• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Robust Model-Checking of Timed Automata via Pumping in Channel Machines