Automated property verification for large scale B models with ProB.

Michael Leuschel Jérôme Falampin Fabian Fritz Daniel Plagge

Published in: Formal Aspects Comput. (2011)

Keyphrases

neural network
real life
probabilistic model
complex systems
statistical models
database
machine learning algorithms
data mining
website
model selection
experimental data
small scale
learned models