Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems [an abstract of dissertation and a summary of dissertation review]

岩下, 洋哲

2014

Permalink : https://hdl.handle.net/2115/55446

このアイテムのアクセス数:691件（2026-08-29 11:37 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
Hiroaki_Iwashita_abstract	pdf	15.0 KB	692	論文内容の要旨
Hiroaki_Iwashita_review	pdf	13.6 KB	544	審査の要旨

アクセス権	open access
URI	https://hdl.handle.net/2115/55446
タイトル	Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems [an abstract of dissertation and a summary of dissertation review]
タイトル	プロパティ検証問題における二分決定グラフの実用的な技術と応用 [論文内容及び審査の要旨]
著者	著者名岩下, 洋哲 Iwashita, Hiroaki
言語	日本語
発行日	2014-03-25
出版者	Hokkaido University
学位授与機関	識別子 10101 機関名北海道大学 Hokkaido University
学位授与番号	甲第11291号
学位名	博士(情報科学)
学位の審査委員	(主査) 教授湊真一, 教授有村博紀, 客員教授白井康之
学位審査の研究科等	情報科学研究科（コンピュータサイエンス専攻）
資源タイプ	博士論文
出版タイプ	Version of Record
権利情報	Creative Commons Attribution-NonCommercial-ShareAlike 2.1 Japan
関連情報 (references)	HDL https://hdl.handle.net/2115/55450