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. ...