Model Checking Duration Calculus: A Practical Approach

DOI10.1007/11921240_23MaRDI QIDQ3525159zbMATH OpenOpenAlexFDO

Authors Roland Meyer, Johannes Faber, Andrey Rybalchenko

Publication date 11 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Model checking duration calculus: a practical approach
• Model-checking discrete duration calculus
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Verifying continuous-time duration calculus against real-time automaton
• Model-checking dense-time duration calculus

Cited in

(8)

• A practical approach to model checking duration calculus using Presburger arithmetic
• Towards a hybrid dynamic logic for hybrid dynamic systems
• Automatic verification of combined specifications: an overview
• scientific article; zbMATH DE number 2038900 (Why is no real title available?)
• Take It NP-Easy: Bounded Model Construction for Duration Calculus
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Constraint solving for interpolation
• Model checking duration calculus: a practical approach

This page was built for publication: Model Checking Duration Calculus: A Practical Approach

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