title: Verification method of programs using Continuation based C
author: Yasutaka Higa
profile:
lang: Japanese


# 研究目的
* ソフトウェアの実装そのものの信頼性を向上させたい
* 信頼性を向上させる手法には証明やモデル検査などの手法がある
* 本研究では実装が仕様を常に満たすことを保証することで信頼性を確保する
* 計算を拡張するメタ計算として検証機構を導入し、実装の記述を変更せずに検証を行なっていく

# 研究内容
* Code Segment と Data Segment を用いるプログラミングスタイルを提案する
* Code Segment とは処理の単位であり、相互に接続することでプログラムを構成していく
* メタ計算による処理の拡張は接続部分に Meta Code Segment を挟むことで実現できる
* Continuation based C 言語で記述された赤黒木を検証していく

# 近況報告
* ダウンしてました
    * 具体的な原因不明
    * 食中毒?
* SWoPP スライド第二弾できました
    * 2016/08/05 に pdf でスライド提出しろとの連絡
* 事務から日程問い合わせがあったので返信しました


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