2013 Fiscal Year Final Research Report
Model Checking Network Applications using Distributed Checkpointing
| Project/Area Number |
23300004
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Chiba University |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HAGIYA Masami 東京大学, 情報理工学系研究科, 教授 (30156252)
ARTHO Cyrille 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員 (30462831)
TANABE Yoshinori 国立情報学研究所, アーキテクチャ科学系, 特任教授 (60443199)
|
|---|
| Research Collaborator |
LEUNGWATTANAKIT Watcharin 東京大学
WEITL Franz 千葉大学
POTTER Richard 東京大学
SEBIH Nazim 東京大学
|
|---|
| Project Period (FY) |
2011-04-01 – 2014-03-31
|
| Keywords | モデル検査 / チェックポインティング |
|---|
| Research Abstract |
With distributed checkpointing, we enhanced our previous results on model checking network applications so that it can check network applications on more complicated and practical environments. This was accomplished by implementing communication resumption on distributed checkpointing. We also adopted newer network API that is used in practical network applications so as to check wider range of applications.
|
