プログラムのデバッグ支援(仮)
Yasutaka Higa
プログラムのデバッグ支援(仮)
研究目的(仮)
プログラムのデバッグを楽にしたい
例えば、あるif文が実行される時、条件において変数の具体的な値を自動で導出したい
if文などの構文に対して model checking を行なって値を導出する
やったこと
進捗無いです……
形式的モデルと意味論
「第15章 プログラム証明のための手法と論理」
7節くらいまで
完全に斜め読み