Login / Signup
A Functional Approach to Module Verification.
K. S. Shankar
Published in:
IEEE Trans. Software Eng. (1982)
Keyphrases
</>
functional verification
verification method
model checking
data sets
face verification
data mining
asynchronous circuits
neural network
real world
three dimensional
feature extraction
multiscale
optimal solution
search algorithm
software engineering
formal verification