over-approximation

alt-of alternative

Alternative spelling of overapproximation

Japanese Meaning

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

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

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

Sense（1）

Alternative spelling of overapproximation

over-approximations

（ plural ）