Tracing the Origins of Verification Conditions.

Published in: AMAST (1996)

Keyphrases

environmental conditions
sufficient conditions
model checking
formal verification
preprocessing
neural network
genetic algorithm
information technology
fine grained
face verification