Synthesizing Monitors for Safety Properties

By Klaus Havelund, Grigore Roşu. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2002

400 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Monitoring Temporal Properties of Continuous Signals (2004, methodology): “This procedure, partly inspired by [Pnu03] and [HR02b], is very simple.”
A brief account of runtime verification (2009, background): “Often, runtime verification is only considered for safety properties, as for example in [37].”
DecSerFlow: Towards a Truly Declarative Service Flow Language (2006, background): “For example, in Linear Temporal Logic (LTL) [11,12,13] one can write ¬( A ∧ B).”
Statistical Model Checking: An Overview (2010, neutral): “The key idea is to deduce whether or not the system satisfies the property by observing some of its executions with a monitoring procedure [1,19], and use hypothesis testing to infer whether the samples provide a statistical”
Process Mining and Verification of Properties: An Approach Based on Temporal Logic (2005, neutral): “, in the context of requirements engineering [16, 31, 32] and program monitoring [17, 20, 21].”
LOLA: runtime monitoring of synchronous systems (2005, methodology): “In [8], an efficient method for the online evaluation of past LTL properties is presented.”