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


# 研究目的
* プログラムの信頼性を向上させたい
* 特に動作するプログラムが仕様を満たすか確認する
* そのために検証しやすい単位でプログラムを構成する
* コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する

# 研究内容
* コードセグメントとデータセグメントを用いたプログラムに対し、検証を行なう
* コードセグメントどうしの接続の間にメタ計算として検証機構を導入する
* コードを検証用に変更することなく、仕様を満たすか検証する
* 検証の対象として Gears OS のデータ構造を用いる

# 近況報告
* IPSJ-PRO 論文提出しました
* ちょっと引用とかで指摘があったので修正しました
* [日程](https://sigpro.ipsj.or.jp/pro2016-2/)出たようです


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