Verification with the Undefined: A New Look.

Antero Kangas Antti Valmari

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

model checking
face verification
machine learning
formal verification
database systems
information retrieval
decision trees
three dimensional
e learning
bayesian networks
search algorithm
expert systems
information technology
relational databases
genetic algorithm
formal methods
databases