Robust Model-Checking of Linear-Time Properties in Timed Automata

DOI10.1007/11682462_25zbMath1145.68464OpenAlexW1594593035MaRDI QIDQ3525763

Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier

Publication date: 18 September 2008

Published in: LATIN 2006: Theoretical Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11682462_25

zbMATH Keywords

implementabilitytimed systemsrobust verification

Mathematics Subject Classification ID

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

Related Items (11)

Robust Model-Checking of Timed Automata via Pumping in Channel Machines ⋮ Robust Specification of Real Time Components ⋮ Shrinking timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ Probabilistic and Topological Semantics for Timed Automata ⋮ Timed Automata Can Always Be Made Implementable ⋮ Robust safety of timed automata

Uses Software

• Uppaal

This page was built for publication: Robust Model-Checking of Linear-Time Properties in Timed Automata