Browsing Theses by Author "Naeem, Nomair A."
Now showing items 1-1 of 1
-
Verification of temporal properties involving multiple interacting objects
Naeem, Nomair A. (University of Waterloo, 2013-10-24)Defects that arise due to violating a prescribed order for executing statements or executing a disallowed sequence of statements can be hard to detect since the sequence is often spread over multiple functions and source ...