Better Late Than Never or: Verifying Asynchronous Components at Runtime
Abstract
This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ-calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation-inline, outline, and offline-offered by detectEr to cater for specific system setup constraints.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|