SMT solving for the validation of B and Event-B models.

Joshua Schmidt Michael Leuschel

Published in: Int. J. Softw. Tools Technol. Transf. (2022)

Keyphrases

data sets
parameter estimation
prior knowledge
model selection
statistical models
classification models
autoregressive