Browsing Mathematics (Faculty of) by Author "Nguyen, Hoang Linh"
Now showing items 1-1 of 1
-
Symmetry Reduction and Compositional Verification on Timed Automata
Nguyen, Hoang Linh (University of Waterloo, 2017-08-24)This thesis is about techniques for the analysis of concurrent and real-time systems. As the first contribution, we describe a technique that incorporates automatic symmetry detection and symmetry reduction in the ...