A framework for verifying functional correctness in Odin II.

Joseph C. Libby Ashley Furrow Paddy O'Brien Kenneth B. Kent

Published in: FPT (2011)

Keyphrases

main contribution
theoretical framework
machine learning
computational framework
data mining
information retrieval
learning algorithm
multimedia
relational databases
computational model
model checking