overapproximate

Verb

 * 1)  To form an overapproximation of.
 * This algorithm will always overapproximate the number of possible paths.