Writing good code requires close attention to detail and lots of will power and discipline. Good habits are half the battle.

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, for the ...