underapproximates

Verb

form-of indicative present singular third-person

Third-person singular simple present indicative form of underapproximate

Japanese Meaning

「underapproximate」の三人称単数単純現在形、つまり「彼/彼女/それが underapproximate する」と表現する際の形です。

The static analyzer underapproximates the set of reachable states when it focuses only on safe transitions.

静的解析器は、安全な遷移のみを考慮すると、到達可能な状態集合を下方近似する。

Sense（1）

Third-person singular simple present indicative form of underapproximate