Checking temporal duration properties of timed automata.
From MaRDI portal
Publication:1433946
DOI10.1007/BF02960759zbMath1056.68096MaRDI QIDQ1433946
Publication date: 1 July 2004
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Verification of Linear Duration Invariants by Model Checking CTL Properties, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, Remove irrelevant atomic formulas for timed automaton model checking
Uses Software
Cites Work