Browsing Theses by Author "Hasabelnaby, Mennatallah"
Now showing items 1-1 of 1
-
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 ...