Browsing Computer science and engineering by Subject "Software Verification"
Now showing items 1-1 of 1
-
Pushing the Limits of Compiler Verification
Modern computer systems rely on the correctness of at least one compiler for correct operation. Formal verification is a powerful technique for constructing correct systems. While there have been many efforts to develop ...