ソフトウェアはどのように設計して
その正しさを確認すれば良いのでしょうか？
このための様々な方法を研究し、
ソフトウェアの品質の向上を目指しています。