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

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

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)

• On regular temporal logics with past
• Operational semantics and generalized weakest preconditions
• Structural operational semantics for weak bisimulations
• 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

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)