scientific article; zbMATH DE number 3991419

MaRDI QIDQ3753930zbMATH OpenFDO

Authors F. Keith Hanna, N. Daeche

Publication date 1986

zbMATH Keywords

hardware verificationHigher-order logiccomputer hardware description languagebehaviour of digital devicescorrectness of digital system designsedge- triggered D-type flipflopVERITAS approach to specification and verification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3991418
• Higher Order Logic and Hardware Verification
• scientific article; zbMATH DE number 46617
• Higher-order equational logic for specification, simulation and testing
• scientific article; zbMATH DE number 194777

Cited in

(8)

• scientific article; zbMATH DE number 5499339 (Why is no real title available?)
• Structuring and automating hardware proofs in a higher-order theorem- proving environment
• Higher Order Logic and Hardware Verification
• Accelerating tableaux proofs using compact representations
• HasCasl: integrated higher-order specification and program development
• scientific article; zbMATH DE number 2087637 (Why is no real title available?)
• scientific article; zbMATH DE number 3991418 (Why is no real title available?)
• Abstraction of hardware construction

Describes a project that uses

Uses Software

• LCF

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753930)