Managing verification error traces with bounded model debugging.

Sean Safarpour Andreas G. Veneris Farid N. Najm

Published in: ASP-DAC (2010)

Keyphrases

computational model
mathematical model
statistical model
experimental data
probabilistic model
parameter estimation
formal model
prediction model
real time
image segmentation
prior knowledge
error rate
hierarchical structure
neural network model