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

by S K Lahiri, R E Bryant
Venue:In Proc. 15th International Conference on Computer-Aided Verification (CAV), volume 2725 of LNCS