Dafny: An Automatic Program Verifier for Functional Correctness.

K. Rustan M. Leino

Published in: LPAR (Dakar) (2010)

Keyphrases

semi automatic
data driven
test cases
real time
real world
machine learning
learning algorithm
decision making
image sequences
similarity measure
search algorithm
fully automatic