Verifying continuous-time duration calculus against real-time automaton

DOI10.13328/J.CNKI.JOS.005752MaRDI QIDQ5209966zbMATH OpenFDO

Authors Jie An, Miaomiao Zhang

Publication date 22 January 2020

zbMATH Keywords

quantifier eliminationduration calculusextended linear duration invariantsquantified linear real arithmetic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Model-checking discrete duration calculus
• Model-checking dense-time duration calculus
• Model checking bounded continuous-time extended linear duration invariants
• Model checking duration calculus: a practical approach
• Advances in model checking of extended linear duration invariants

Cited in

(11)

• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Advances in model checking of extended linear duration invariants
• Model Checking Duration Calculus: A Practical Approach
• Model checking bounded continuous-time extended linear duration invariants
• Model checking duration calculus: a practical approach
• Approximate model checking of real-time systems for linear duration invariants
• Verification of continuous dynamical systems by timed automata
• Time-Bounded Verification of CTMCs against Real-Time Specifications
• Model-checking discrete duration calculus
• Checking integral real-time automata for extended linear duration invariants
• On verification of linear occurrence properties of real-time systems

This page was built for publication: Verifying continuous-time duration calculus against real-time automaton

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