Using induction and BDDs to model check invariants.

David Déharbe Anamaria Martins Moreira

Published in: CHARME (1997)

Keyphrases

computational model
probabilistic model
theoretical framework
management system
theoretical analysis
bayesian networks
mathematical model
neural network model
database
data sets
decision making
multiscale
cost function
experimental data