Distributed Monitoring of Timed Properties

Léo Henry, Thierry Jéron, Nicolas Markey +1

In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. W…