over-approximates

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

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

日本語の意味

これは「over-approximate」の三人称単数形、すなわち「彼/彼女/それが over-approximate する」という意味の現単現形を表しています。

The static analyzer over-approximates the set of reachable states to ensure safety.

静的解析ツールは安全性を確保するために到達可能な状態集合を過大に近似します。

意味（1）

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