Proving the Correctness of a Complete Microprocessor.

Christian Jacobi, Daniel Kroening

Browse the full GI paper archive.