Model-checking discrete duration calculus

DOI10.1007/BF01213605zbMath0822.68030OpenAlexW1992189872MaRDI QIDQ1346770

Michael R. Hansen

Publication date: 9 April 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

timed automatamodel-checkingduration calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27)

Related Items

A duration calculus with infinite intervals ⋮ Duration calculus: Logical foundations ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Interval Duration Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of durations
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Nets, Terms and Formulas