The static analyzer underapproximates the set of reachable states when it focuses only on safe transitions.
静的解析器は、安全な遷移のみを考慮すると、到達可能な状態集合を下方近似する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
