Formal verification of a microcoded VIPER microprocessor using HOL
By: Karl Levitt, Tejkumar Arora, Tony Leung, Sara Kalvala, E. Thomas Schubert, Philip Windley, Mark Heckman and Gerald C. Cohen.
Contributors: Arora, Tejkumar.; Cohen, Gerald C.; Heckman, Mark.; Kalvala, Sara.; Leung, Tony.; Schubert, E. Thomas.; Windley, Philip.; Langley Research Center
Publisher: Langley Research Center
Published: 1993
Place of publication: Hampton, Va
Number of pages: 294
Subjects: Verification
Notes: Includes bibliographical references: p. 71-72.