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

model checkingreal-time systemsduration calculusextended linear duration invariants

Mathematics Subject Classification ID

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

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)

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

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)