On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification.

Marieke Huisman

Published in: ISoLA (1) (2018)

Keyphrases

prior knowledge
real life
end users
neural network
probabilistic model
object oriented
complex systems
statistical models
learning algorithm
probability distribution
model selection
experimental data
accurate models
large scale data sets