等価検証の効率化に関する一考察

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

九州大学学術情報リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
九州大学学術情報リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: 等価検証の効率化に関する一考察
著者・編者: 松永, 裕介
著者標目: 松永, 裕介マツナガ, ユウスケ
出版事項: 電子情報通信学会CPSY研究会
出版年月日等: 2002-11
出版年（W3CDTF）: 2002-11
並列タイトル等: On acceleration methods of equivalence checking
タイトル（掲載誌）: 電子情報通信学会技術研究報告, CPSY2002-63(2002-11)
掲載ページ: 73-78
本文の言語コード: jpn
件名標目: 形式的検証
等価性検証
二分決定グラフ
formal verification
equivalence checking
BDDs
対象利用者: 一般
記録形式（IMT）: application/pdf
一次資料へのリンクURL: matsunaga02_3.pdf
https://catalog.lib.kyushu-u.ac.jp/opac_download_md/6015/matsunaga02_3.pdf
オンライン閲覧公開範囲: インターネット公開
関連情報: 電子情報通信学会技術研究報告, CPSY2002-63(2002-11) || || p73-78
IEICE Technical Report, CPSY2002-63(2002-11) || || p73-78
http://www.c.csce.kyushu-u.ac.jp/SOC/index_j.html
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 九州大学 : 九州大学学術情報リポジトリ