Browsing University of Waterloo by Author "Kumar, Deepak"
Now showing items 1-1 of 1
-
Runtime Verification with Controllable Time Predictability and Memory Utilization
Kumar, Deepak (University of Waterloo, 2013-09-27)The goal of runtime verifi cation is to inspect the well-being of a system by employing a monitor during its execution. Such monitoring imposes cost in terms of resource utilization. Memory usage and predictability of ...