Browsing Theses by Subject "embedded software"
Now showing items 1-1 of 1
-
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 ...