Title: Formal verification of a microcoded VIPER microprocessor using HOL
First published: 1993
Subjects: Verification