Developing verified programs with dafny.

K. Rustan M. Leino

Published in: ICSE (2013)

Keyphrases

objective function
computer programs
automatic programming
neural network
genetic algorithm
artificial intelligence
bayesian networks
video sequences
data model
query language
open source
programming environment
provably correct