Runtime Verification using VALOUR
Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, E. A. Mallia, Gordon J. Pace · Kalpa publications in computing · 2018
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.