Implementing Temporal Logics: Tools for Execution and Proof

DOI10.1007/11750734_8zbMATH Open1236.68224OpenAlexW1515815766WikidataQ98283827 ScholiaQ98283827MaRDI QIDQ3623967FDOQ3623967

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (12)

• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Title not available (Why is that?)
• Using Locales to Define a Rely-Guarantee Temporal Logic
• Title not available (Why is that?)
• Using temporal logics of knowledge for specification and verification -- a case study
• Automated theorem proving in temporal logic: \(T\)-resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specification and Verification of Multi-Agent Systems
• Implementing a fair monodic temporal logic prover
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• VAMPIRE
• TeMP

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)