Model-Based Verification and Validation of Properties.

Gregor Engels Jochen Malte Küster Reiko Heckel Marc Lohmann

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

Keyphrases

structural properties
desirable properties
databases
model checking
machine learning
decision making
similarity measure
data structure
evolutionary algorithm
digital images
face verification
formal analysis