C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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