{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T15:04:12Z","timestamp":1775315052736,"version":"3.50.1"},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.29007\/bwd4","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:31:26Z","timestamp":1515742286000},"page":"10-0","source":"Crossref","is-referenced-by-count":5,"title":["Runtime Verification using VALOUR"],"prefix":"10.29007","volume":"3","author":[{"given":"Shaun","family":"Azzopardi","sequence":"first","affiliation":[]},{"given":"Christian","family":"Colombo","sequence":"additional","affiliation":[]},{"given":"Jean Paul","family":"Ebejer","sequence":"additional","affiliation":[]},{"given":"Edward","family":"Mallia","sequence":"additional","affiliation":[]},{"given":"Gordon","family":"Pace","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:31:31Z","timestamp":1515742291000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/wbSB"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/bwd4","relation":{},"ISSN":["2515-1762"],"issn-type":[{"value":"2515-1762","type":"print"}],"subject":[]}}