情報システムの「信頼性(Dependability)」に関して，ネットワークのQoS・暗号化通信に代表される「安全性(Safety)」とともに，システムの堅牢性(Reliability)を確保することが大変重要です．高い信頼性が要求される情報システムのために，可能な限り誤り（バグ）を排除した設計に仕上げていくことが重要な課題です．私たちの研究室では，「100%バグフリー設計」を目指し，ソフトウェア分野で(1)特に並列システムを対象とした，設計の全網羅的な検査システムと検証ツールの開発と(2)上流工程からの一貫設計検証環境，などを研究しています．
