基于SVM的多项式循环程序秩函数生成
作者： 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室; 重庆400714; 萨基姆通讯(深圳)有限公司; 广东深圳518000; 中国科学院大学计算机科学与技术学院; 北京100093
摘要：程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机(SVM)算法来计算程序的秩函数。与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
相关热门期刊
