scientific article; zbMATH DE number 5228180

zbMath1146.68384MaRDI QIDQ5437180

Fabrice Chevalier, Patricia Bouyer

Publication date: 18 January 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

diagonal constraintsconcise timed models

Mathematics Subject Classification ID

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

Related Items

Configurable verification of timed automata with discrete variables ⋮ Robust Model-Checking of Timed Automata via Pumping in Channel Machines ⋮ Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ Model checking for probabilistic timed automata ⋮ An Introduction to Timed Automata ⋮ Robust safety of timed automata

Uses Software

• Uppaal