Mercurial > hg > Members > atton > generated_seminar_slides

diff slides/20160726/slide.md @ 131:e0f35df4a57f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 01 Nov 2016 17:57:09 +0900
parents 77fdc33a13be
children
line wrap: on
line diff
--- a/slides/20160726/slide.md	Tue Aug 02 18:06:00 2016 +0900
+++ b/slides/20160726/slide.md	Tue Nov 01 17:57:09 2016 +0900
@@ -5,8 +5,8 @@
 
 # 研究目的
 * ソフトウェアの信頼性を向上させたい
-* 特にソフトウェアの実装そのものをチェックしたい
 * ソフトウェアが仕様を常に満たすことを保証することで信頼性を確保する
+* 特に動作するソフトウェアを検証したい
 * 計算を拡張するメタ計算として検証機構を導入し、ソフトウェアの記述を変更せずに検証を行なう
 
 # 研究内容