バグなし、
手間なし、
安全なソフトウェア開発を支える Delivering safe, efficient, and reliable software development

我々の研究室では、安全かつ高品質なソフトウェア開発を支える技術開発に取り組んでいます。
ソフトウェアテスト、自動検証、形式手法、協調制御など、多様なアプローチで問題解決を目指しています。