Please use this identifier to cite or link to this item:
/library/oar/handle/123456789/27800| Title: | Runtime verification using Valour |
| Authors: | Azzopardi, Shaun Colombo, Christian Ebejer, Jean Paul Mallia, Edward Pace, Gordon J. |
| Keywords: | Computer programs -- Verification Event processing (Computer science) Electronic funds transfers -- Security measures |
| Issue Date: | 2017 |
| Publisher: | University of Malta. Faculty of ICT |
| Citation: | Azzopardi, S., Colombo, C., Ebejer, J. P., Mallia, E., & Pace, G. J. (2017). Runtime verification using Valour. International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, Seattle. 1-9. |
| Abstract: | In this paper we give an overview of Valour, a runtime verification tool which has been developed in the context of a project to act as a backend verification tool for financial transaction software. A Valour script is written by the user and is then compiled into a verification system. Although, developed as part of a project, the tool has been designed as a stand-alone general-purpose verification engine with a particular emphasis on event consumption. The strong points of Valour when compared to other runtime verification tools is its focus on scalability and robustness. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27800 |
| Appears in Collections: | Scholarly Works - CenMMB Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| rvcubes2017a.pdf | 462.41 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.