Po-Chun Chien

新しい手法が補助的不変量を使ってソフトウェアの検証効率を向上させる。

ソフトウェアを検証することがなぜ信頼性とユーザーの信頼にとって重要なのかを学ぼう。