Checking temporal duration properties of timed automata.

DOI10.1007/BF02960759zbMath1056.68096OpenAlexW2041810818MaRDI QIDQ1433946

Yong Li, Dang Van Hung

Publication date: 1 July 2004

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

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

zbMATH Keywords

model checkingduration calculus

Mathematics Subject Classification ID

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

Related Items (4)

Remove irrelevant atomic formulas for timed automaton model checking ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Verification of Linear Duration Invariants by Model Checking CTL Properties

Uses Software

• Uppaal

Cites Work

• A calculus of durations
• A theory of timed automata

This page was built for publication: Checking temporal duration properties of timed automata.