Automatic Generation of Invariants and Intermediate Assertions.

Nikolaj Bjørner Anca Browne Zohar Manna

Published in: Theor. Comput. Sci. (1997)

Keyphrases

automatically generate
knowledge base
invariant features
neural network
viewpoint
affine invariant
moment invariants
quasi invariant
databases
data mining
decision making
automatically generated
affine moment invariants