Formal Methods in Computer-Aided Design

DOI10.1007/B102264zbMATH Open1117.68418OpenAlexW4229585471MaRDI QIDQ5492991FDOQ5492991

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

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

Mathematics Subject Classification ID

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

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)