Formal verification in Intel CPU design.

John O'Leary

Browse the full MEMOCODE paper archive.