Browsing University of Waterloo by Supervisor "Xu, Meng"
Now showing items 1-1 of 1
-
Finding False Assurance in Formal Verification of Software Systems
(University of Waterloo, 2024-01-15)Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ...