Implementing Temporal Logics: Tools for Execution and Proof

DOI10.1007/11750734_8MaRDI QIDQ3623967zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 28 April 2009

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Executable temporal logic systems
• scientific article; zbMATH DE number 1418334
• Temporal logic programming
• MetateM: An introduction
• scientific article; zbMATH DE number 4076583

Cited in

(12)

• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• scientific article; zbMATH DE number 148938 (Why is no real title available?)
• Using Locales to Define a Rely-Guarantee Temporal Logic
• scientific article; zbMATH DE number 1301761 (Why is no real title available?)
• Using temporal logics of knowledge for specification and verification -- a case study
• Automated theorem proving in temporal logic: T-resolution
• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 1444742 (Why is no real title available?)
• Specification and Verification of Multi-Agent Systems
• Implementing a fair monodic temporal logic prover
• scientific article; zbMATH DE number 1059321 (Why is no real title available?)
• scientific article; zbMATH DE number 6117314 (Why is no real title available?)

Describes a project that uses

Uses Software

• TeMP
• VAMPIRE

This page was built for publication: Implementing Temporal Logics: Tools for Execution and Proof

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