Browsing Theses by Author "Ramanathan, Aishwarya"
Now showing items 1-1 of 1
-
Hubble Spacer Telescope
Ramanathan, Aishwarya (University of Waterloo, 2022-01-19)Visualizing a model checker’s run on a model can be useful when trying to gain a deeper understanding of the verification of the particular model. However, it can be difficult to formalize the problem that visualization ...