On monitoring linear temporal properties

DOI10.1007/S10703-023-00429-8MaRDI QIDQ6056640

Klaus Havelund, Doron A. Peled

Publication date: 30 October 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

linear temporal logicruntime verificationmonitorabilityproperty classification

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deciding safety and liveness in TPTL
• Learning register automata: from languages to program structures
• Automata-theoretic techniques for modal logics of programs
• Recognizing safety and liveness
• Safety, liveness and fairness in temporal logic
• On relative and probabilistic finite counterability
• Topology, monitorable properties and runtime verification
• Proving the Correctness of Multiprocess Programs
• Shield Synthesis:
• Model checking of safety properties
• Reachability analysis of pushdown automata: Application to model-checking
• Refining the safety-liveness classification of temporal properties according to monitorability

This page was built for publication: On monitoring linear temporal properties