安心・安全な社会を目指して
コンピュータ・システムの設計検証について研究しています