Login / Signup
The application of program verification techniques to hardware verification.
John A. Darringer
Published in:
DAC (1979)
Keyphrases
</>
real time
low cost
hardware and software
information systems
data mining
image processing
mobile devices
general purpose
computer systems
model checking
massively parallel
formal verification