Automating Verification of Event-B Models.

Paulius Stankaitis Alexei Iliasov David Adjepon-Yamoah Alexander B. Romanovsky

Published in: CoRR (2016)

Keyphrases

statistical models
neural network
prior knowledge
database
data sets
decision making
knowledge base
probabilistic model
markov random field
complex systems
process model
model checking
mathematical models