Modular inference of subprogram contracts for safety checking.

Yannick Moy Claude Marché

Published in: J. Symb. Comput. (2010)

Keyphrases

probabilistic inference
inference engine
databases
random fields
inference process
consistency checking
inference mechanism
neural network
information systems
image segmentation
bayesian inference
modular structure