Mechanized Verification of Circuit Descriptions Using the Larch Prover

• Authors:

• Jørgen Staunstrup;Stephen J. Garland;John V. Guttag

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
• Year:
• 1992