Login / Signup

Improving SMT Solver Integrations for the Validation of B and Event-B Models.

Joshua SchmidtMichael Leuschel
Published in: FMICS (2021)
Keyphrases
  • probabilistic model
  • data sets
  • artificial neural networks
  • machine learning algorithms
  • neural network
  • case study
  • prior knowledge
  • complex systems
  • model validation