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


# 研究目的
* コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する
* プログラムはコードセグメントという処理の集合として表され、相互に接続される
* 個々のコードセグメントを検証し、検証されたコードセグメントどうしの組み合わせによりプログラム全体を検証する

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

# 近況報告
* 印鑑ください(履修登録確認表, 研究計画表)
* IPSJ PRO 申し込みについて

# 第109回 (PRO-2016-01)
* [https://sigpro.ipsj.or.jp/#schedule109](https://sigpro.ipsj.or.jp/#schedule109)
* 場所: 静岡県浜松
* 発表申し込み締切 04/22(Fri)
* 論文投稿締切 05/10(Tue)
* 日程 06/09(Thu)-06/10(Fri)

# 第110回 (PRO-2016-02) (SWoPP2016)
* [https://sigpro.ipsj.or.jp/#schedule110](https://sigpro.ipsj.or.jp/#schedule110)
* 場所: 長野県松本
* 発表申し込み締切: 05/09-05/13
* 論文締切: 07/08
* 日程: 08/08-08/10

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