Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.

Robert S. Boyer, Yuan Yu

Browse the full CADE paper archive.