SMT Solvers for Validation of B and Event-B Models.

Sebastian Krings Michael Leuschel

Published in: IFM (2016)

Keyphrases

parameter estimation
statistical model
information retrieval
probability distribution
statistical models
model validation
data mining
optimal solution
probabilistic model
machine learning algorithms
experimental data
event detection
classification models