overapproximates

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

Third-person singular simple present indicative form of overapproximate

日本語の意味

これは "overapproximate" の三人称単数単純現在形、すなわち主語が三人称（例: he, she, it）である場合に用いられる現在時制の形です。

The static analyzer overapproximates the set of possible program states to ensure soundness.

静的解析器はサウンド性を確保するために、可能なプログラム状態の集合を過大評価する。

意味（1）

Third-person singular simple present indicative form of overapproximate