Browsing Mathematics (Faculty of) by Subject "runtime verification"
Now showing items 1-2 of 2
-
Decentralized Runtime Verification of LTL Specifications in Distributed Systems
(University of Waterloo, 2016-09-26)Runtime verification is a lightweight automated formal method for specification-based run- time monitoring as well as testing of large real-world systems. While numerous techniques exist for runtime verification of sequential ... -
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 ...