overapproximating

Verb

form-of participle present

present participle of overapproximate

Japanese Meaning

「overapproximating」は動詞overapproximateの現在分詞形であり、進行形や形容詞として用いられる。

The static analyzer is overapproximating the set of reachable states to guarantee soundness.

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

Sense（1）

present participle of overapproximate