The notion of proof in hardware verification

DOI10.1007/BF00243000zbMath0676.68053OpenAlexW4249627601MaRDI QIDQ1122998

Avra Cohn

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00243000

zbMATH Keywords

automated theorem provinghardware verificationformal proofviper

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theory of software (68N99)

Related Items (5)

Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Towards the animation of proofs -- testing proofs by examples ⋮ Structuring and automating hardware proofs in a higher-order theorem- proving environment ⋮ Symbolic constraint handling through unification in finite algebras ⋮ Deriving correctness properties of compiled code

Uses Software

• HOL
• LCF

This page was built for publication: The notion of proof in hardware verification