scientific article; zbMATH DE number 3991419

zbMATH Open0612.94016MaRDI QIDQ3753930FDOQ3753930

Authors: F. Keith Hanna, N. Daeche 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstraction of hardware construction
• Accelerating tableaux proofs using compact representations
• HasCasl: integrated higher-order specification and program development
• Title not available (Why is that?)
• Structuring and automating hardware proofs in a higher-order theorem- proving environment
• Higher Order Logic and Hardware Verification

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)