Title: Formal verification of an avionics microprocessor
First published: 1995
Subjects: Testing, Microprocessors, Avionics, Verification, Computer software