Indiscrete models: model building and model checking over linear time

DOI10.1007/978-3-642-36039-8_6MaRDI QIDQ2936229zbMATH OpenOpenAlexFDO

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

Publication date 6 January 2015

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36039-8_6

Mathematics Subject Classification ID

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

Recommendations

• Model checking general linear temporal logic
• Synthesis for continuous time
• scientific article; zbMATH DE number 2084409
• Verifying temporal properties in real models
• Temporal logic and fair discrete systems

Cited in

(3)

• Synthesis for continuous time
• Model checking general linear temporal logic
• scientific article; zbMATH DE number 2084409 (Why is no real title available?)

This page was built for publication: Indiscrete models: model building and model checking over linear time

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