Browsing Mathematics (Faculty of) by Subject "runtime verification framework"
Now showing items 1-1 of 1
-
RitHM: A Modular Software Framework for Runtime Monitoring Supporting Complete and Lossy Traces
(University of Waterloo, 2015-10-01)Runtime verification (RV) is an effective and automated method for specification based offline testing as well as online monitoring of complex real-world systems. Firstly, a software framework for RV needs to exhibit certain ...