We do not currently know of any synonyms for over-approximation.
The noun over-approximation is defined as: