Hierarchical Verification Using Verification Diagrams.

Anca Browne Zohar Manna Henny Sipma

Published in: ASIAN (1996)

Keyphrases

model checking
face verification
asynchronous circuits
information systems
formal analysis
neural network
machine learning
information retrieval
probabilistic model
formal methods
verification method