Before running the model-checking algorithm, we must determinize the nondeterministic automaton.
モデル検査アルゴリズムを実行する前に、非決定性オートマトンを決定化する必要がある。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
