Processor veri with precise exceptions and speculative execution (1998)

by J Sawada, W A Hunt
Venue:Computer Aided Veri (CAV '98), volume 1427 of LNCS