Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

DOI10.1007/978-3-540-75221-9_7MaRDI QIDQ3526931zbMATH OpenOpenAlexFDO

Authors Dang Van Hung

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Duration calculus: Logical foundations
• Theoretical Aspects of Computing - ICTAC 2004
• All those duration calculi: an integrated approach
• Advanced features of duration calculus and their applications in sequential hybrid programs
• Unifying proof methodologies of duration calculus and timed linear temporal logic

Cited in

(3)

• Theoretical Aspects of Computing - ICTAC 2004
• Stable Models for Temporal Theories
• Take It NP-Easy: Bounded Model Construction for Duration Calculus

This page was built for publication: Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

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