Predicate Abstraction with Under-Approximation Refinement.

Corina S. Pasareanu Radek Pelánek Willem Visser

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

high level
approximation algorithms
database
image segmentation
first order logic
error bounds
machine learning
closed form
queueing networks
approximation methods
approximation schemes