Runtime Verification is a lightweight formal verification technique. It used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour usually formally specified by means of properties, which are automatically synthesise monitors. A monitor device that, given sequence events representing execution, returns verdict symbolising satisfaction or violation pr...