Browsing Theses by Author "Joshi, Yogi"
Now showing items 1-1 of 1
-
RitHM: A Modular Software Framework for Runtime Monitoring Supporting Complete and Lossy Traces
Joshi, Yogi (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 ...