首页 > 期刊 > 软件学报 > 基于SVM的多项式循环程序秩函数生成 【正文】

基于SVM的多项式循环程序秩函数生成

作者:李轶; 蔡天训; 樊建峰; 吴文渊; 冯勇 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室; 重庆400714; 萨基姆通讯(深圳)有限公司; 广东深圳518000; 中国科学院大学计算机科学与技术学院; 北京100093

摘要:程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机(SVM)算法来计算程序的秩函数。与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社。

软件学报杂志

软件学报杂志, 月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构等。于1990年经新闻总署批准的正规刊物。

  • 北大期刊
  • CSCD期刊
  • 统计源期刊
  • 1-3个月审核

服务介绍LITERATURE

正规发表流程 全程指导

多年专注期刊服务,熟悉发表政策,投稿全程指导。因为专注所以专业。

保障正刊 双刊号

推荐期刊保障正刊,评职认可,企业资质合规可查。

用户信息严格保密

诚信服务,签订协议,严格保密用户信息,提供正规票据。

不成功可退款

如果发表不成功可退款或转刊。资金受第三方支付宝监管,安全放心。

学术顾问

发表咨询 加急见刊 文秘咨询 杂志订阅