伊藤 宗平(准教授、博士(工学))
researchmapのページ
国立大学法人 長崎大学
情報データ科学部
工学部情報工学コース・工学研究科
E-mail:
当研究室ではソフトウェア工学における形式手法(Formal methods)について主に研究しています。 形式手法とは、ソフトウェアの設計、あるいはソフトウェアそのものにバグがないかどうか数学的に確かめる手法の総称です。
下図のように、ソフトウェアの設計モデルなどを形式的な言語(オートマトンなど)でモデル化し、検証する性質も時相論理式などの厳密な言語で記述し、モデルが性質を満たすかどうかを自動的に検証します。
具体的には以下のテーマの研究を行っています。