情報システム学専攻プログラム検証, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

プログラムが仕様どおりに動作することを示すことは非常に重要であり、その検証法に関する研究を行っている。コンピュータシステムのトラブルの多くは例外的な事象発生時の異常な動作や異常な出力によるものである。ソフトウェアの設計やプログ ...