Efficient Runtime Verification of First-Order Temporal Properties

DOI10.1007/978-3-319-94111-0_2OpenAlexW2808270794MaRDI QIDQ5883570

Doron A. Peled, Klaus Havelund

Publication date: 21 March 2023

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-94111-0_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ A formally verified, optimized monitor for metric first-order dynamic logic

Uses Software

• MONA
• Java-MOP
• LARVA
• GitHub

Cites Work

• Unnamed Item
• Recognizing safety and liveness
• Completing the temporal picture
• Monitoring Metric First-Order Temporal Properties
• Proving the Correctness of Multiprocess Programs
• Programming Languages and Systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Efficient Runtime Verification of First-Order Temporal Properties