Browsing Engineering (Faculty of) by Subject "formal methods"
Now showing items 1-2 of 2
-
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 ... -
Strong Induction in Hardware Model Checking
(University of Waterloo, 2019-08-14)Symbolic Model checking is a widely used technique for automated verification of both hardware and software systems. Unbounded SAT-based Symbolic Model Checking (SMC) algorithms are very popular in hardware verification. ...