Browsing Theses by Subject "runtime monitoring"
Now showing items 1-4 of 4
-
Methods for Reducing Monitoring Overhead in Runtime Verification
(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 ... -
Runtime Monitoring for Uncertain Times
(University of Waterloo, 2021-03-19)In Runtime Verification (RV), monitors check programs for correct operation at execution time. Also called Runtime Monitoring, RV offers advantages over other approaches to program verification. Efficient monitoring is ... -
RuSTL: Runtime Verification using Signal Temporal Logic
(University of Waterloo, 2019-04-23)A system is classified to be a safety-critical system if its failure and/or malfunction of these devices may result in severe injuries or in extreme cases loss of human life. Such systems are all around us, examples of ... -
Tracerory - Dynamic Tracematches and Unread Memory Detection for C/C++
(University of Waterloo, 2011-08-31)Dynamic binary translation allows us to analyze a program during execution without the need for a compiler or the program's source code. In this work, we present two applications of dynamic binary translation: tracematches ...