Automated proofs of microprogram correctness.

William H. Joyner Jr.William C. Carter George B. Leeman Jr.

Published in: MICRO (1976)

Keyphrases

automated theorem provers
semi automated
computer aided
fully automated
theorem proving
automated analysis
formal proofs
decision making
multiscale
wide range
video sequences
fully automatic
computer assisted
formal proof