An Approach to Systems Verification.

William R. Bevier Warren A. Hunt Jr.J. Strother Moore William D. Young

Published in: J. Autom. Reason. (1989)

Keyphrases

complex systems
data sets
automated verification
neural network
similarity measure
formal methods
model checking
distributed systems
relational databases
asynchronous circuits
management system
artificial neural networks
information technology
expert systems
search algorithm
multimedia
databases