Download PDFOpen PDF in browserRuntime Verification using LARVA9 pages•Published: December 14, 2017AbstractLarva, 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.Keyphrases: case studies, runtime verification tool, tool extensions In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 55-63.
|