Proving consistency of VDM models using HOL.

Sander Vermolen Jozef Hooman Peter Gorm Larsen

Published in: SAC (2010)

Keyphrases

probabilistic model
model selection
accurate models
complex systems
statistical models
database
databases
neural network
machine learning
artificial intelligence
search engine
social networks
database systems
data structure
mathematical models