Browsing Computer science and engineering by Subject "Proofs"
Now showing items 1-1 of 1
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 ...