underapproximations

form-of plural

plural of underapproximation

Japanese Meaning

「underapproximations」は「underapproximation」の複数形です。

When analyzing the reachability of the program, we used conservative underapproximations to ensure that reported behaviors are definitely achievable.

プログラムの到達可能性を解析する際、報告された振る舞いが確実に実現可能であることを保証するために、保守的な下限近似を用いた。

Sense（1）

plural of underapproximation