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
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,730,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥330,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2006: ¥1,200,000 (Direct Cost: ¥1,200,000)
|
|---|
| Keywords | 形式手法 / 検証システム / 項書換えシステム / 代数仕様 / モジュールシステム / 仕様変換 / ソフトウェアテスト / 自動ソフトウェアテスト / 項書換システム / 項書き換えシステム |
|---|
| Research Abstract |
本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた.
|
Report
(4 results)
Research Products
(19 results)
