Modular Verification of Ada Generics.

George W. Ernst Raymond J. Hookway James A. Menegay William F. Ogden

Published in: Comput. Lang. (1991)

Keyphrases

model checking
formal verification
asynchronous circuits
functional verification
neural network
face verification
verification method
concurrent systems
data mining
feature selection
metadata
image segmentation
image sequences
expert systems
relational databases
high security