Predicate Abstraction with Under-approximation Refinement

Corina S. Pasareanu Radek Pelánek Willem Visser

Published in: CoRR (2007)

Keyphrases

high level
first order logic
computer vision
image segmentation
refinement process
learning algorithm
data structure
knowledge representation
closed form
approximation algorithms
queueing networks
approximation schemes