There are moments in which real life surpasses any Hollywood movie, no matter how much budget or scriptwriters it has. On ...

Abstract: The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, ...