under-approximates

form-of indicative present singular third-person

Third-person singular simple present indicative form of under-approximate

Japanese Meaning

『under-approximates』は『under-approximate』の三人称単数現在形です。

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

静的解析ツールは到達可能な状態の集合を下側から近似するため、潜在的なエラーを見落とすことがある。

Sense（1）

Third-person singular simple present indicative form of under-approximate