Regular linear temporal logic with past

DOI10.1007/978-3-642-11319-2_22MaRDI QIDQ3656890zbMATH OpenOpenAlexWikidataFDO

Authors César Sánchez, Martin Leucker

Publication date 14 January 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-11319-2_22

Mathematics Subject Classification ID

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

Recommendations

• Regular Linear Temporal Logic
• On Regular Temporal Logics with Past,
• On regular temporal logics with past
• On the expressive power of temporal logic
• A hierarchy of temporal logics with past

Cited in

(12)

• Almost event-rate independent monitoring
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Compositional reasoning using intervals and time reversal
• Regular Linear Temporal Logic
• On Regular Temporal Logics with Past,
• A one-pass tree-shaped tableau for LTL+past
• The decidability of RPTL
• Semipositive LTL with an Uninterpreted Past Operator
• Hardware and Software, Verification and Testing
• Expressiveness of extended bounded response \textsf{LTL}
• Visibly linear temporal logic
• On regular temporal logics with past

This page was built for publication: Regular linear temporal logic with past

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