Advances in model checking of extended linear duration invariants

MaRDI QIDQ3306501zbMATH OpenFDO

Authors Miaomiao Zhang, Jie An, Wei Shen, Quan Zu

Publication date 12 August 2020

zbMATH Keywords

duration calculusextended linear duration invariantsmodel checkingreal-time systems

Mathematics Subject Classification ID

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

Recommendations

• Model checking bounded continuous-time extended linear duration invariants
• Verifying continuous-time duration calculus against real-time automaton
• Checking integral real-time automata for extended linear duration invariants
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Model checking duration calculus: a practical approach

Cited in

(6)

• Model checking linear duration invariants of networks of automata
• Checking integral real-time automata for extended linear duration invariants
• Model checking bounded continuous-time extended linear duration invariants
• Verifying continuous-time duration calculus against real-time automaton
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Advances in model checking of extended linear duration invariants

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