Büchi automata are often used to model properties of infinite sequences in formal verification.
複数のビューキ・オートマトンは形式検証で無限列の性質をモデル化するためによく使われます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
