Browsing University of Waterloo by Author "Khan, Waleed"
Now showing items 1-1 of 1
-
RuSTL: Runtime Verification using Signal Temporal Logic
Khan, Waleed (University of Waterloo, 2019-04-23)A system is classified to be a safety-critical system if its failure and/or malfunction of these devices may result in severe injuries or in extreme cases loss of human life. Such systems are all around us, examples of ...