《模型驗證的一類新工具及複雜性研究》是依託上海交通大學，由沈恩紹擔任項目負責人的面上項目。
基本介紹
- 中文名：模型驗證的一類新工具及複雜性研究
- 項目類別：面上項目
- 項目負責人：沈恩紹
- 依託單位：上海交通大學
- 批准號：60273050
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2003-01-01 至 2005-12-31
- 支持經費：20（萬元）
- 項目名稱：模型驗證的一類新工具及複雜性研究
項目摘要,
批准號 | 60273050 |
項目名稱 | 模型驗證的一類新工具及複雜性研究 |
項目類別 | 面上項目 |
申請代碼 | F0201 |
項目負責人 | 沈恩紹 |
負責人職稱 | 教授 |
依託單位 | 上海交通大學 |
研究期限 | 2003-01-01 至 2005-12-31 |
支持經費 | 20（萬元） |
項目摘要
開發一類新的形式化框架，它們既保留目前常用的非經典邏輯所具有的良好性質，且在表達能力上突破現有的框架的Monadic及“齊次”的局囿，並能允許有effective 模型驗證。這將為真正直接地刻劃與分析並發與分散式過程提供首個形式框架，且又具有良好的實用化前景。同時將一種新的複雜性測度引入模型驗證的討論，這種參數化複雜性更適合程式驗證的實踐。
