On Safety Properties and Their Monitoring

DOI10.7561/SACS.2012.2.327zbMATH Open1424.68043OpenAlexW2062720566MaRDI QIDQ4621164FDOQ4621164

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)

• Bounded-memory runtime enforcement with probabilistic and performance analysis
• Title not available (Why is that?)
• Predictive runtime enforcement
• An Operational Guide to Monitorability

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)