Browsing Computer Science by Author "Ji, Ru"
Now showing items 1-1 of 1
-
Finding False Assurance in Formal Verification of Software Systems
Ji, Ru (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 ...