On Safety Properties and Their Monitoring

DOI10.7561/SACS.2012.2.327MaRDI QIDQ4621164zbMATH OpenOpenAlexFDO

Authors 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

runtime verificationmonitoringsafety properties

Mathematics Subject Classification ID

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

Cited in

(4)

• An Operational Guide to Monitorability
• Bounded-memory runtime enforcement with probabilistic and performance analysis
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• Predictive runtime enforcement

Describes a project that uses

Uses Software

• Java-MOP

This page was built for publication: On Safety Properties and Their Monitoring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621164)