《基於計算機代數的嵌入式軟體分析與驗證方法及工具》是依託華東師範大學，由楊路擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：基於計算機代數的嵌入式軟體分析與驗證方法及工具
- 項目類別：重大研究計畫
- 項目負責人：楊路
- 依託單位：華東師範大學
- 批准號：90718041
- 申請代碼：F0214
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-01
- 支持經費：250（萬元）
項目摘要
本項目套用計算機代數分析歡重槳和驗證嵌入式軟體。近年來，計算機代數在程式分析和驗證中的套用十分活躍。人們發現多類嵌入式系統的可達性是可以用它來驗證的；利用它還找精甩挨到了程式分析和驗證的許享榜嚷多有效方法，特別適用於程式變數為實變數的嵌入式軟體。以吳文俊為首的我國科學家在計算機代數領域做出堡市灑了傑出貢獻。永嬸楊罪協遷講路等發現了生成多項式完全判別系統的算法，並建立了半代數系統道洪雅墊根的分類和分離算法，實現了DISCOVERER等工具。其
