Browsing Theses by Author "Navabpour, Samaneh"
Now showing items 1-1 of 1
-
Time-triggered Runtime Verification of Real-time Embedded Systems
Navabpour, Samaneh (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 ...