Automatic Abstraction without Counterexamples.

Kenneth L. McMillan Nina Amla

Published in: TACAS (2003)

Keyphrases

semi automatic
fully automatic
computer vision
three dimensional
database systems
wide range
real time
decision trees
high level
data structure
evolutionary algorithm