Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems プロパティ検証問題における二分決定グラフの実用的な技術と応用
Access this Article
Author
Bibliographic Information
- Title
-
Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems
- Other Title
-
プロパティ検証問題における二分決定グラフの実用的な技術と応用
- Author
-
岩下, 洋哲
- University
-
北海道大学
- Types of degree
-
博士(情報科学)
- Grant ID
-
甲第11291号
- Degree year
-
2014-03-25
Note and Description
(主査) 教授 湊 真一, 教授 有村 博紀, 客員教授 白井 康之
情報科学研究科(コンピュータサイエンス専攻)