0 citations0 referencesGoogle Scholardoi.orgAutomated correctness proofs of machine code programs for a commercial microprocessorLecture notes in computer science·1992·pp. 416–430Citations Over TimeTop 10% of 1992 papersRobert S. Boyer, Yuan YuRelated PapersE - a brainiac theorem prover(2002)→ A theorem prover for a computational logic(1990)50 cited→ Providing automated support to deductive analysis of time critical systems(1997)3 cited→ Conclusions(2001)