基于SVM的多項式循環程序秩函數生成
作者：李軼; 蔡天訓; 樊建峰; 吳文淵; 馮勇 中國科學院重慶綠色智能技術研究院自動推理與認知重慶市重點實驗室; 重慶400714; 薩基姆通訊(深圳)有限公司; 廣東深圳518000; 中國科學院大學計算機科學與技術學院; 北京100093
摘要：程序終止性問題是自動程序驗證領域中的一個研究熱點。秩函數探測是進行終止性分析的主要方法。針對單重無條件分支的多項式循環程序,將其秩函數計算問題歸結為二分類問題,從而可利用支持向量機(SVM)算法來計算程序的秩函數。與基于量詞消去技術的秩函數計算方法不同,該方法能在可接受的時間范圍內探測到更為復雜的秩函數。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社。
軟件學報雜志
軟件學報雜志， 月刊，本刊重視學術導向，堅持科學性、學術性、先進性、創新性，刊載內容涉及的欄目：理論計算機科學、系統軟件與軟件工程、模式識別與人工智能、數據庫技術、計算機網絡與信息安全、計算機體系結構等。于1990年經新聞總署批準的正規刊物。
- 北大期刊
- CSCD期刊
- 統計源期刊
- 1-3個月審核
