UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Mathematics (Faculty of) by Supervisor "Bonakdarpour, Borzoo"
Now showing items 1-1 of 1
-
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 ...