English Dictionary

overapproximate

動詞

他動詞

(transitive) To form an overapproximation of.

日本語の意味

対象を、実際よりも大きな集合や範囲で近似すること。 / （計算や解析の対象を）過大に近似する、または上限として近似すること。

To ensure safety, the static analyzer may overapproximate the set of reachable states, reporting potential behaviors that cannot actually occur.

安全性を確保するために、静的解析ツールは到達可能な状態の集合を過大に近似することがあり、実際には発生し得ない潜在的な挙動を報告することがあります。

意味（1）

(transitive) To form an overapproximation of.

This algorithm will always overapproximate the number of possible paths.

overapproximates （ present singular third-person ）

overapproximating （ participle present ）

overapproximated （ participle past ）

overapproximated （ past ）