Model checking real-time systems within unified approach of timed interval temporal logic

DOI10.3969/J.ISSN.1001-0548.2014.05.014MaRDI QIDQ5260704zbMATH OpenFDO

Authors Pengzhe Qiao, Qinglei Zhou, Hai-Bin Zhang, Wei-jun Zhu

Publication date 29 June 2015

Full work available at URL https://doi.org/10.3969/J.ISSN.1001-0548.2014.05.014

zbMATH Keywords

model checking within a unified logical frameworkreal-time systemssatisfiability checkingtimed interval temporal logic

Mathematics Subject Classification ID

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

Recommendations

• Model-checking timed temporal logics
• Model Checking Real-Time Systems
• scientific article; zbMATH DE number 176728
• Model-checking in dense real-time
• scientific article; zbMATH DE number 1696823

Cited in

(3)

• Model Checking Real-Time Systems
• A novel algorithm for intrusion detection based on RASL model checking
• Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems

This page was built for publication: Model checking real-time systems within unified approach of timed interval temporal logic

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