present participle of over-approximate
over-approximating
静的解析ツールは変数の取り得る値の集合を過大に近似しており、検証中に多くの誤検出を引き起こしています。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★