Dafny Meets the Verification Benchmarks Challenge.

K. Rustan M. Leino Rosemary Monahan

Published in: VSTTE (2010)

Keyphrases

model checking
face verification
information systems
high level
artificial intelligence
formal verification
verification method
neural network
information retrieval
image processing
decision trees
three dimensional
preprocessing
evolutionary algorithm