Automatic verification of Dafny programs with traits.

Reza Ahmadi K. Rustan M. Leino Jyrki Nummenmaa

Published in: FTfJP@ECOOP (2015)

Keyphrases

data sets
computer programs
automatic programming
social networks
multimedia
website
bayesian networks
learning environment
expert systems
control structures