Tactics for the Dafny Program Verifier.

Gudmund Grov Vytautas Tumas

Published in: TACAS (2016)

Keyphrases

program execution
neural network
computer programs
programming environment
machine learning
feature selection
decision making
clustering algorithm
probabilistic model
static analysis
java programs