%0 Conference Proceedings
%T Better Late Than Never or: Verifying Asynchronous Components at Runtime
%+ Université de Toulon (UTLN)
%+ Aix Marseille Université (AMU)
%+ Centre National de la Recherche Scientifique (CNRS)
%+ Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS)
%+ Modélisation et Vérification (MOVE)
%A Attard, Duncan, Paul
%A Aceto, Luca
%A Achilleos, Antonis
%A Francalanza, Adrian
%A Ingólfsdóttir, Anna
%A Lehtinen, Karoliina
%< avec comité de lecture
%( Formal Techniques for Distributed Objects, Components, and Systems
%B 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems
%C Valletta, Malta
%P 207 - 225
%8 2021-06-14
%D 2021
%R 10.1007/978-3-030-78089-0_14
%K Runtime verification
%K Instrumentation
%K Monitoring
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://hal.science/hal-03320023/document
%2 https://hal.science/hal-03320023/file/paper.pdf
%L hal-03320023
%U https://hal.science/hal-03320023
%~ UNIV-TLN
%~ CNRS
%~ UNIV-AMU
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ LIS-LAB
%~ MOVE
%~ INCIAM
%~ IFIP-LNCS-12719