研究課題
基盤研究(B)
本研究の目的は,項書換え系や木オートマトンの解析技法を応用し,プログラムの安全性などの性質を効率的に検証する技法の開発である.得られた成果は,車載LANプロトコルの検証,プログラムの等価性判定,プログラムのループ不変式の自動生成などの技法である.加えて,これらの検証技法の基盤となる技術に関して,項書き換え系の停止性検証,命題論理の充足可能性判定,等式理論を法とする充足可能性判定などの基礎的な成果を得た.
すべて 2012 2011 2010 2009 2008
すべて 雑誌論文 (28件) (うち査読あり 9件)
電子情報通信学会ソフトウェアサイエンス研究会SS2011-46
ページ: 39-44
電子情報通信学会ソフトウェアサイエンス研究会SS2011-47
ページ: 45-49
LNCS
巻: 6846 ページ: 138-155
日本ソフトウェア科学会第28回大会
巻: 7B-1 ページ: 1-12
IPSJ Transactions on Programming
巻: 4 ページ: 12-35
電子情報通信学会ソフトウェアサイエンス研究会SS2011-38
ページ: 67-72
第83回情報処理学会・プログラミング研究会配布資料
ページ: 1-16
電子情報通信学会ソフトウェアサイエンス研究会SS2010-63
ページ: 61-66
コンピュータソフトウェア
巻: 28 ページ: 173-189
電子情報通信学会ソフトウェアサイエンス研究会SS2010-44
ページ: 31-36
電子情報通信学会ソフトウェアサイエンス研究会SS2010-36
ページ: 49-54
電子情報通信学会ソフトウェアサイエンス研究会SS2009-41
ページ: 37-42
IEICE Trans. on Information and Sys-tems
巻: E93-D ページ: 953-962
電子情報通信学会論文誌D
巻: J93-D ページ: 1-9
名古屋大学大学院情報科学研究科修士論文
ページ: 1-30
Electronic Notes in Theoretical Computer Science
巻: 237 ページ: 39-56
IPSJ Transactions onProgramming
巻: 2 ページ: 20-32
信学技報SS2009-41
巻: 109-343 ページ: 37-42
巻: 109 ページ: 31-36
巻: 109 ページ: 25-30
日本ソフトウェア科学会第26回大会講演論文集
巻: 7B-2 ページ: 14-14
情報処理学会論文誌プログラミング
巻: 2 ページ: 80-96
IEICE(SS2008-45)
巻: 108 ページ: 37-42
電子情報通信学会ソフトウェアサイエンス研究会(SS2008-44)
巻: 108 ページ: 31-36
巻: 1 ページ: 100-121
電子情報通信学会技術研究報告(SS2008-37)
巻: 108 ページ: 61-66
電子情報通信学会技術研究報告(SS2008-20)
巻: 108 ページ: 43-48
電子情報通信学会技術研究報告(SS2008-1)
巻: 108 ページ: 1-6
