Verification Of Combinational Logic in Nuprl.

David A. Basin Peter Del Vecchio

Published in: Hardware Specification, Verification and Synthesis (1989)

Keyphrases

model checking
formal verification
information systems
face verification
formal methods
verification method
special case
data sets
information retrieval
image processing
information technology
digital images
input image
formal analysis
concurrent systems