Now showing items 1-1 of 1

    • Pushing the Limits of Compiler Verification 

      Mullen, Eric Alexander
      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 ...