scientific article
From MaRDI portal
Publication:3753930
zbMath0612.94016MaRDI QIDQ3753930
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hardware verificationHigher-order logiccomputer hardware description languagebehaviour of digital devicescorrectness of digital system designsedge- triggered D-type flipflopVERITAS approach to specification and verification
Related Items (3)
Accelerating tableaux proofs using compact representations ⋮ Abstraction of hardware construction ⋮ Structuring and automating hardware proofs in a higher-order theorem- proving environment
Uses Software
This page was built for publication:
