over-approximating

form-of participle present

present participle of over-approximate

Japanese Meaning

「over-approximating」は、動詞「over-approximate」の現在分詞形です。つまり、過大近似するという動作を進行中であること、またはその性質を表す形です。

The static analyzer is over-approximating the set of possible variable values, which causes many false positives during verification.

静的解析ツールは変数の取り得る値の集合を過大に近似しており、検証中に多くの誤検出を引き起こしています。

Sense（1）

present participle of over-approximate