Implementing a methodology for formally verifying RISC processors in HOL (1993)

by S Tahar, R Kumar
Venue:Proceedings of the 1993 International Workshop on the HOL Theorem Prover and its Applications