underapproximate verb1 •To form an underapproximation of.This algorithm will always underapproximate the number of possible paths. formsunderapproximated · underapproximating · underapproximates