over-approximates

Verb

form-of indicative present singular third-person

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

Japanese Meaning

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

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

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

Sense（1）

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