Verification System.

Tatsuya Hagino Etsuya Shibayama

Published in: The IOTA Programming System (1983)

Keyphrases

model checking
formal analysis
face verification
concurrent systems
databases
verification method
signature verification
temporal logic
bayesian networks
search algorithm
optimal solution
face recognition
three dimensional
decision trees
formal verification
high security
computer vision
machine learning