The notion of proof in hardware verification

• 1 June 1989
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 5  (2) , 127-139
• https://doi.org/10.1007/bf00243000

Abstract

Keywords

• HARDWARE VERIFICATION
• FORMAL PROOF
• VIPER
• AUTOMATED THEOREM PROVING