Real-time specification and reasoning using maximal intervals

MaRDI QIDQ4494114zbMATH OpenFDO

Authors Ian Hayes, Brendan P. Mahony, A. K. Wabenhorst, Colin Fidge

Publication date 10 August 2000

zbMATH Keywords

interval-based formalismreal-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An interval-based modal logic for system specification
• Logical specification of reactive and real-time systems
• Duration calculus. A formal approach to real-time systems.
• Real-time logics: Complexity and expressiveness

Cited in

(6)

• Induction in the timed interval calculus
• Completeness of temporal logics over infinite intervals.
• Towards an algebra for real-time programs
• Advances in Parametric Real-Time Reasoning
• Real-time specification and modeling with joint actions
• Reasoning about real-time repetitions: Terminating and nonterminating

This page was built for publication: Real-time specification and reasoning using maximal intervals

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