2008 Fiscal Year Final Research Report
On a formal verification system based on modular term rewriting
| Project/Area Number |
18700024
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kanazawa University (2008)
Japan Advanced Institute of Science and Technology (2006-2007) |
|---|
Principal Investigator |
NAKAMURA Masaki Kanazawa University, 電子情報学系, 助教 (40345658)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Keywords | 形式手法 / 検証システム / 項書換えシステム / 代数仕様 / モジュールシステム / 仕様変換 / ソフトウェアテスト |
|---|
| Research Abstract |
本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた.
|
Research Products
(12 results)
