Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27801
Title: | Runtime verification using Larva |
Authors: | Colombo, Christian Pace, Gordon J. |
Keywords: | Computer programs -- Verification Electronic funds transfers -- Security measures Transaction systems (Computer systems) Business intelligence |
Issue Date: | 2017 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Colombo, C., & Pace, G. J. (2017). Runtime verification using Larva. International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, Seattle. 1-8. |
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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/27801 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Runtime_verification_using_Larva_2017.pdf | 292.38 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.