Model checking general linear temporal logic

DOI10.1007/978-3-642-40537-2_12MaRDI QIDQ2851939zbMATH OpenOpenAlexFDO

Authors John Christopher McCabe-Dansted, Tim French, Mark Alexander Reynolds

Publication date 4 October 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-40537-2_12

Mathematics Subject Classification ID

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

Recommendations

• Indiscrete models: model building and model checking over linear time
• Verifying temporal properties in real models
• Model-checking timed temporal logics
• Model-checking in dense real-time
• The complexity of the temporal logic with ``until over general linear time

Cited in

(7)

• Verifying temporal properties in real models
• Indiscrete models: model building and model checking over linear time
• scientific article; zbMATH DE number 2084409 (Why is no real title available?)
• Linear temporal logic symbolic model checking
• The Linear Temporal Logic of Rewriting Maude Model Checker
• scientific article; zbMATH DE number 6454071 (Why is no real title available?)
• Decidability of model checking with the temporal logic EF

This page was built for publication: Model checking general linear temporal logic

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