Model checking for timed logic processes

DOI10.1007/3-540-44957-4_40MaRDI QIDQ2767090zbMATH OpenFDO

Authors Andreas Podelski, Supratik Mukhopadhyay

Publication date 28 January 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44957-4_40

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model-checking timed temporal logics
• scientific article; zbMATH DE number 2090522
• Model-checking for probabilistic real-time systems
• Timed automata
• It's about time: Real-time logics reviewed

Cited in

(15)

• Modalities for model checking: Branching time logic strikes back
• Efficient timed model checking for discrete-time systems
• Model checking open systems with alternating projection temporal logic
• Model checking discounted temporal properties
• scientific article; zbMATH DE number 5368984 (Why is no real title available?)
• Verifying complex continuous real-time systems with coinductive CLP(R)
• UTP and temporal logic model checking
• scientific article; zbMATH DE number 139824 (Why is no real title available?)
• scientific article; zbMATH DE number 1140688 (Why is no real title available?)
• scientific article; zbMATH DE number 1954132 (Why is no real title available?)
• Template languages for fault monitoring of timed discrete event processes
• scientific article; zbMATH DE number 2090522 (Why is no real title available?)
• Model checking real-time systems within unified approach of timed interval temporal logic
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Decidability of model checking with the temporal logic EF

Describes a project that uses

Uses Software

• XSB
• Uppaal

This page was built for publication: Model checking for timed logic processes

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