Open AccessRuntime Verification using LARVA
Author(s) -
Christian Colombo,
Gordon J. Pace
Publication year - 2018
Publication title -
kalpa publications in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2515-1762
DOI - 10.29007/n7td
Subject(s) - software deployment , larva , computer science , range (aeronautics) , software engineering , engineering , ecology , biology , aerospace engineering
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 the runtime verification tool Larva and its extensions and uses.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom