Verification and Validation: An Overview.

Dolores R. Wallace Roger U. Fujii

Published in: IEEE Softw. (1989)

Keyphrases

model checking
neural network
verification method
formal verification
multiresolution
formal methods
functional verification
concurrent systems
model validation
future trends
formal analysis
information technology
preprocessing
video sequences
artificial intelligence
genetic algorithm
real world