The engineer was approximating the curve with a series of short line segments to simplify the model.

The approximativeness of the early weather models made precise forecasting difficult.

The books on the shelf are arranged approximally, so similar titles sit next to each other.

Researchers compared the approximabilities of different heuristic algorithms on benchmark instances to determine which approach yielded more reliable results.

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

To ensure safety margins, engineers often over-approximate the worst-case load when designing the support beams.

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

The static analyzer over-approximates the set of reachable states to ensure safety.

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.