Monitoring first-order interval logic

DOI10.1007/978-3-030-92124-8_4MaRDI QIDQ6041276zbMATH OpenOpenAlexFDO

Authors Klaus Havelund, Moran Omer, Doron Peled

Publication date 26 May 2023

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-92124-8_4

Mathematics Subject Classification ID

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

Recommendations

• Efficient Runtime Verification of First-Order Temporal Properties
• Monitoring metric first-order temporal properties
• First-order temporal logic monitoring with BDDs
• The ins and outs of first-order runtime verification
• Runtime monitoring of metric first-order temporal properties

Cites work

• scientific article; zbMATH DE number 3922633 (Why is no real title available?)
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 2080059 (Why is no real title available?)
• A propositional modal logic of time intervals
• Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
• Maintaining knowledge about temporal intervals
• Model checking of safety properties
• Monitoring metric first-order temporal properties
• Recognizing safety and liveness
• Specifying timed patterns using temporal logic

Cited in

(4)

• Monitor Logics for Quantitative Monitor Automata
• Monitoring metric first-order temporal properties
• Efficient Runtime Verification of First-Order Temporal Properties
• Verified first-order monitoring with recursive rules

This page was built for publication: Monitoring first-order interval logic

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