over-approximation

名詞

別表記異形

Alternative spelling of overapproximation

日本語の意味

「overapproximation」の別綴り、つまり意味そのものではなく、同一概念を表記する際のバリエーションを示す用法です。

The static analyzer reported an over-approximation of the reachable states to ensure soundness.

静的解析器は、健全性を確保するために到達可能な状態を過大近似として報告しました。

意味（1）

Alternative spelling of overapproximation

over-approximations

（ plural ）