Better Late Than Never or: Verifying Asynchronous Components at Runtime
Résumé
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.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|