Using Dafny, an Automatic Program Verifier.

Luke Herbert K. Rustan M. Leino Jose Quaresma

Published in: LASER Summer School (2011)

Keyphrases

data driven
data sets
machine learning
genetic algorithm
artificial intelligence
image processing
test cases
fully automatic
computer programs
web pages
information technology
user interface
online learning
semi automatic
automatic programming