underapproximations

活用形複数形

plural of underapproximation

日本語の意味

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

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

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

意味（1）

plural of underapproximation