Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492991zbMATH OpenOpenAlexFDO

Authors Koen Claessen, Johan Mårtensson

Publication date 20 October 2006

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

Full work available at URL https://doi.org/10.1007/b102264

Mathematics Subject Classification ID

Temporal logic (03B44) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
• On regular temporal logics with past
• On Regular Temporal Logics with Past,
• Regular Linear Temporal Logic
• On the expressive power of temporal logic

Cited in

(5)

• Operational semantics and generalized weakest preconditions
• Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
• A logical framework for reasoning about local and global properties of collective systems
• Structural operational semantics for weak bisimulations
• On regular temporal logics with past

This page was built for publication: Formal Methods in Computer-Aided Design

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