TY  - RPRT
TI  - Formal verification of a microcoded VIPER microprocessor using HOL
AU  - Levitt, Karl
AU  - Arora, Tejkumar
AU  - Leung, Tony
AU  - Kalvala, Sara
AU  - Schubert, E. Thomas
AU  - Windley, Philip
AU  - Heckman, Mark
AU  - Cohen, Gerald C.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19930011854
ID  - 19930011854
ER  -