ソフトウェア信頼性研究室

ソフトウェアの信頼性を測る方法や測った結果を利用して何ができるかを研究しています。また、ソフトウェアを開発することを支援する仕組みや方法も研究しています。以下は研究成果の一部です。