Processor Veri with Precise Exceptions and Speculative Execution (1998)

by J Sawada, W Hunt
Venue:Computed Aided Veri 10th International Conference, CAV '98, Springer-Verlag LNCS 1427