@misc{indiciae255e8948cf7f,
  title = {Formal verification of a microcoded VIPER microprocessor using HOL},
  author = {Levitt, Karl and Arora, Tejkumar and Leung, Tony and Kalvala, Sara and Schubert, E. Thomas and Windley, Philip and Heckman, Mark and Cohen, Gerald C.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19930011854},
  note = {Source identifier: 19930011854}
}