Browsing Theses by Author "Babaee Cheshmeahmadrezaee, Reza"
Now showing items 1-1 of 1
-
Predictive Runtime Verification of Stochastic Systems
Babaee Cheshmeahmadrezaee, Reza (University of Waterloo, 2019-08-13)Runtime Verification (RV) is the formal analysis of the execution of a system against some properties at runtime. RV is particularly useful for stochastic systems that have a non-zero probability of failure at runtime. ...