Deductive verification of advanced out-of-order microprocessors (2003)

by S K Lahiri, R E Bryant
Venue:Computer-Aided Verification (CAV 2003), LNCS 2725