基于SVM的多項式循環(huán)程序秩函數(shù)生成
作者：李軼; 蔡天訓; 樊建峰; 吳文淵; 馮勇 中國科學院重慶綠色智能技術(shù)研究院自動推理與認知重慶市重點實驗室; 重慶400714; 薩基姆通訊(深圳)有限公司; 廣東深圳518000; 中國科學院大學計算機科學與技術(shù)學院; 北京100093
摘要：程序終止性問題是自動程序驗證領(lǐng)域中的一個研究熱點。秩函數(shù)探測是進行終止性分析的主要方法。針對單重無條件分支的多項式循環(huán)程序,將其秩函數(shù)計算問題歸結(jié)為二分類問題,從而可利用支持向量機(SVM)算法來計算程序的秩函數(shù)。與基于量詞消去技術(shù)的秩函數(shù)計算方法不同,該方法能在可接受的時間范圍內(nèi)探測到更為復雜的秩函數(shù)。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
相關(guān)熱門期刊
