Browsing Theses by Author "Wu, Chun Wah Wallace"
Now showing items 1-1 of 1
-
Methods for Reducing Monitoring Overhead in Runtime Verification
Wu, Chun Wah Wallace (University of Waterloo, 2013-01-18)Runtime verification is a lightweight technique that serves to complement existing approaches, such as formal methods and testing, to ensure system correctness. In runtime verification, monitors are synthesized to check a ...