A Comparison of MDG and HOL for Hardware Verification.

Sofiène Tahar Paul Curzon

Published in: TPHOLs (1996)

Keyphrases

formal methods
low cost
hardware and software
theorem prover
hardware designs
model checking
real time
theorem proving
data acquisition
computer systems
control system
website
massively parallel
image processing
computing power
digital circuits
database