SEChecker: A Sequential Equivalence Checking Framework Based on Kth Invariants.

Feng Lu Kwang-Ting Cheng

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2009)

Keyphrases

bayesian framework
main contribution
neural network
real world
information retrieval
three dimensional
database systems
search algorithm
pattern recognition
key features