Symbolic verification and error prediction methodology.

Chun-Jen Wei Guang-Huei Lin Ya-Nan Wen Sao-Jie Chen Yu Hen Hu

Published in: SoCC (2007)

Keyphrases

prediction error
prediction accuracy
error rate
prediction model
prediction algorithm
error bounds
general loss functions
model checking
design methodology
error free
linear complexity
formal verification
relative error
formal methods
predictive model
knowledge base
multi agent