title: プログラムのデバッグ支援(仮)
author: Yasutaka Higa
cover:
lang: Japanese


# 研究目的(仮)

* プログラムのデバッグを楽にしたい
* 例えば、あるif文が実行される時、条件において変数の具体的な値を自動で導出したい
* if文などの構文に対して model checking を行なって値を導出する

# やったこと

* 進捗無いです……
* 形式的モデルと意味論
    * 「第15章 プログラム証明のための手法と論理」
    * 7節くらいまで
    * 完全に斜め読み

<!-- vim: set filetype=markdown.slide: -->