Browsing Engineering (Faculty of) by Subject "Formal Methods"
Now showing items 1-1 of 1
-
Time-triggered Runtime Verification of Real-time Embedded Systems
(University of Waterloo, 2014-01-22)In safety-critical real-time embedded systems, correctness is of primary concern, as even small transient errors may lead to catastrophic consequences. Due to the limitations of well-established methods such as verification ...