Semantics for linear-time temporal logic with finite observations

DOI10.4204/EPTCS.412.4MaRDI QIDQ6940580zbMATH OpenFDO

Authors Rayhana Amjad, Rob van Glabbeek, Liam O'Connor

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.412.4

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Comparing LTL semantics for runtime verification
• Decentralised LTL monitoring
• Defining liveness
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• Model checking of safety properties
• Proving the Correctness of Multiprocess Programs
• Quantitative safety and liveness
• Reasoning with temporal logic on truncated paths.
• Robust linear temporal logic

Cited in

(1)

• Definitive Set Semantics for LTL3

This page was built for publication: Semantics for linear-time temporal logic with finite observations

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