Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods (1995)

by S P Miller, M Srivas
Venue:Workshop on Industrial Strength Formal Methods, WIFT’95, IEEE Computer