Mercurial > hg > Members > atton > seminar_slides

changeset 37:c7d57cf16fdb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 15 Apr 2014 17:44:46 +0900
parents 32cbe5f209f1
children 1fde03546bbc
files template/slide.md
diffstat 1 files changed, 6 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/template/slide.md	Tue Apr 08 17:08:56 2014 +0900
+++ b/template/slide.md	Tue Apr 15 17:44:46 2014 +0900
@@ -1,14 +1,15 @@
-title: プログラムから証明の自動生成(仮)
+title: プログラムのデバッグ支援(仮)
 author: Yasutaka Higa
 cover:
 lang: Japanese
 
+
 # 研究目的(仮)
 
-* プログラムの正しさを保証したい
-* 既存のプログラムから証明支援系に変換できれば挙動を保証できる？
-* 既存のプログラムのターゲットとしてはコードセグメントがある
-* 挙動が保証されたプログラムの組み合せでプログラム全体を構成する
+* プログラムのデバッグは複雑になることがある
+* 例えば、あるif文の条件を満たすには、必要な状態がある
+* そういった状態を自動で導出したい
+* model checking を使えばいける?
 
 # hoge