Browsing Theses by Subject "LTL"

Now showing items 1-3 of 3

Decentralized Runtime Verification of LTL Specifications in Distributed Systems

Hasabelnaby, Mennatallah (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 ...
Parallel Run-Time Verification

Berkovich, Shay (University of Waterloo, 2013-01-24)

Run-time verification is a technique to reason about a program correctness. Given a set of desirable properties and a program trace from the inspected program as an input, the monitor module verifies that properties hold ...
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 ...