中国科学院重庆绿色智能技术研究院机构知识库

QQ客服 官方微博 反馈留言

	基于svm的多项式循环程序秩函数生成
	李轶1; 蔡天训2; 樊建峰1; 吴文渊1; 冯勇1
	2019
摘要	程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机(SVM)算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数.
发表期刊	软件学报
ISSN	1000-9825
卷号	30期号:7页码:1903
收录类别	CSCD
CSCD记录号	CSCD:6523591
语种	英语