During static analysis, the tool over-approximated the program's possible behaviors, causing many false positives.

The static analyzer under-approximates the set of reachable states, which can miss potential errors.

Many researchers compare approximation algorithms to evaluate trade-offs between accuracy and running time.

When evaluating integrals with rapidly oscillating integrands, physicists often invoke the stationary phase approximation to estimate the leading contributions.