under-approximates

動詞

活用形直説法現在形単数形三人称

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

日本語の意味

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

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

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

意味（1）

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