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


# 研究目的(仮)

* プログラムのデバッグは複雑になることがある
* 例えば、あるif文の条件を満たすには、必要な状態がある
* そういった状態を自動で導出したい
* model checking を使えばいける?

# hoge

* hoge
* hogehoge

# fuga

* fuga
* fugafuga

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