overapproximates

Verb

form-of indicative present singular third-person

Third-person singular simple present indicative form of overapproximate

Japanese Meaning

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

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

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

Sense（1）

Third-person singular simple present indicative form of overapproximate