A brief account of runtime verification

By Martin Leucker, Christian Schallhart. J. Log. Algebraic Methods Program., 2009

977 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.

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems (2018, background): “The expected or faulty behavior is represented either via formal models or speciﬁcations (runtime veriﬁcation) [29, 30], signatures describing attack behaviors [23, 24], learned models (classiﬁcation, statistics) [23, 24, 31,39], clusters or the data instances itself (nearest-neighbor) [24,31].”