ソフトウェア検証研究センター

開学以来の研究教育活動と「検証進化可能電子社会」プロジェクトなどのプロジェクト研究を通じて,JAISTにはソフトウェア検証に関する国内最強の研究グループが形成されてきた. ソフトウェア検証研究センター(Research Center for Software Verification: RCSV)は,このグループの活動をより発展させ,世界トップレベルの研究を展開することを目指して,2010年4月に創設された.

JAISTでは現在まで,ソフトウェア検証に関して,次のような多彩なテーマの研究を行い成果を上げてきた.

以上の成果に基づき,ソフトウェア検証研究センターでは,次のようなテーマに関する研究を総合的に展開していく予定である.


メンバー


リンク