scientific article; zbMATH DE number 5228180

MaRDI QIDQ5437180zbMATHFDO

Authors Patricia Bouyer, Fabrice Chevalier

Publication date 18 January 2008

zbMATH Keywords

diagonal constraintsconcise timed models

Mathematics Subject Classification ID

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

Cited in

(15)

• Configurable verification of timed automata with discrete variables
• Reachability in timed automata with diagonal constraints
• A survey of timed automata for the development of real-time systems
• An introduction to timed automata
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• A unified model for real-time systems: symbolic techniques and implementation
• CONCUR 2005 – Concurrency Theory
• Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
• scientific article; zbMATH DE number 5622695 (Why is no real title available?)
• scientific article; zbMATH DE number 1759410 (Why is no real title available?)
• Robust model-checking of timed automata via pumping in channel machines
• Model checking for probabilistic timed automata
• Corrections to “A Menagerie of Timed Automata”
• Robust safety of timed automata
• scientific article; zbMATH DE number 5201490 (Why is no real title available?)

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437180)