Runtime Verification using LARVA
Christian Colombo, Gordon J. Pace · Kalpa publications in computing · 2018
Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of Larva and give an overview of its extensions and uses.