To ensure safety margins, engineers often under-approximate the load-bearing capacity in their preliminary models.

The static analyzer under-approximated the set of reachable states, missing several feasible behaviors.

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

Researchers often mention under-approximation when discussing variant spellings in older papers.

By under-approximating the feasible region, the optimizer guarantees conservative solutions even in the presence of uncertainty.

To verify the algorithm's safety, the team evaluated several under-approximations and identified the strongest valid lower bound.