A Mechanically Verified Verification Condition Generator.

Peter V. Homeier David F. Martin

Published in: Comput. J. (1995)

Keyphrases

sufficient conditions
model checking
formal verification
verification method
database
formal analysis
theorem prover
genetic algorithm
neural network
search algorithm
bayesian networks
three dimensional
social networks
face verification
formal methods
cryptographic protocols
databases