「第２５回情報科学談話会」開催のご案内

■研究室の学生諸君等、お誘いあわせのうえ、ぜひご出席ください■

日　　　　 時：　平成１９年１月２５日(木)　１７：３０〜

場　　　　 所：　情報科学研究科棟２階　大講義室

話題提供者：　小林　直樹　教授　（情報基礎科学専攻　ソフトウェア基礎科学分野）

話　　　　 題：　「ソフトウェアの形式的検証の現状と今後の課題」

概　　　　 要：　近年，交通や金融システムなどの重要な社会基盤がコンピュータソフトウェア
　　　　　　　　　 によって制御されるようになってきており，ソフトウェアの信頼性向上が急務
　　　　　　　　　 となっている．ソフトウェアの形式的検証は，数理科学的手法に基づいたソフ
　　　　　　　　　 トウェアの実行前の検査を目的としており，テスト実行などの不確実なソフト
　　　　　　　　　ウェアの検査手法と異なり，ある種の誤りがないことを理論的に保証すること
　　　　　　　　　ができる．本講演では，話者自身が携わってきた型を用いたソフトウェアの形
　　　　　　　　　式的検証手法の紹介を交えながら，ソフトウェア検証の現状と今後の課題につ
　　　　　　　　　いて概観する．