Refining the safety-liveness classification of temporal properties according to monitorability

DOI10.1007/978-3-030-22348-9_14zbMath1519.68138OpenAlexW2953659269MaRDI QIDQ6165815

Doron A. Peled, Klaus Havelund

Publication date: 2 August 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-030-22348-9_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Axiomatizing recursion-free, regular monitors ⋮ Sound concurrent traces for online monitoring ⋮ On monitoring linear temporal properties ⋮ Quantitative safety and liveness ⋮ Assumption-based runtime verification

This page was built for publication: Refining the safety-liveness classification of temporal properties according to monitorability