On Safety Properties and Their Monitoring

DOI10.7561/SACS.2012.2.327zbMath1424.68043OpenAlexW2062720566MaRDI QIDQ4621164

Grigore Roşu

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2012.2.327

zbMATH Keywords

monitoringsafety propertiesruntime verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Predictive runtime enforcement, Unnamed Item

Uses Software

• Java-MOP