Runtime Verification using LARVA

9 pages•Published: December 14, 2017

Abstract

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.

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.

Links:	https://easychair.org/publications/paper/Jwmr
	https://doi.org/10.29007/n7td

BibTeX entry

@inproceedings{RV-CuBES2017:Runtime_Verification_using_LARVA,
  author    = {Christian Colombo and Gordon Pace},
  title     = {Runtime Verification using LARVA},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Jwmr},
  doi       = {10.29007/n7td},
  pages     = {55-63},
  year      = {2017}}

Download PDF Open PDF in browser