underapproximates

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

Third-person singular simple present indicative form of underapproximate

日本語の意味

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

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

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

意味（1）

Third-person singular simple present indicative form of underapproximate