Runtime Verification Logics A Language Design Perspective

DOI10.1007/978-3-319-63121-9_16zbMath1431.68064OpenAlexW2738184854MaRDI QIDQ5217308

Klaus Havelund, Giles Reger

Publication date: 24 February 2020

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

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_16

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Uncertainty in runtime verification: a survey ⋮ Automated Synthesis: a Distributed Viewpoint

This page was built for publication: Runtime Verification Logics A Language Design Perspective