To ensure safety margins, engineers underapproximate the set of reachable states in the model.
安全余裕を確保するために、エンジニアはモデルの到達可能状態の集合の下方近似を行う。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
