欢迎来到中细软旗下技术转移平台
请登录技术转移平台
-
-
基于后置条件的循环不变式自动生成方法
-
发明专利
专利类型 -
未知
专利状态 -
2020112768277
专利号
-
专利信息
数据仅供参考，具体信息可联系在线顾问
| 专利号 | 2020112768277 | 专利名称 | 基于后置条件的循环不变式自动生成方法 |
|---|---|---|---|
| 专利类型 | 发明专利 | 国际分类 | G06F 11/3604 (2025.01),G06N 20/10 (2019.01) |
| 申请人 | 南京理工大学紫金学院 | 申请地址 | 江苏省南京市栖霞区文澜路89号 |
| 发明人 | 路红,廖龙龙,史玉石,刘红英 | 申请日期 | 2020-11-16 |
| 下证状态 | 未知 | 更新时间 | 2026-09-23 17:33:30 |
| 专利摘要 | 本发明公开了一种基于后置条件自动生成循环不变式的方法。首先依据循环语句的后置条件构造初始候选不变式，设计一个支持单层循环和双层循环的验证器，以验证循环不变式的有效性。然后运行程序生成高质量的样本数据集，利用循环程序的霍尔逻辑关系标注样本数据，采用KSVM方法学习不变式分类器。最后验证学习到的不变式分类器是否有效，若有效则表示生成的不变式分类器即为获得的循环不变式，否则迭代执行样本数据采用核支持向量机分类器学习，以获得可验证的循环不变式。本发明利用循环后置条件构造初始候选不变式，并在依据初始循环不变式构造的SVM分类器边界上选择分类样本，大大缩短了循环不变式生成时间，提高了可验证循环不变式的成功生成率。 | ||
交易流程
转让材料
| 买卖双方需提供 | 平台提供 | 转让后买方可获得 | ||
|---|---|---|---|---|
| 企业 | 个人 | 专利代理委托书 专利权转让协议 办理文件副本请求书 发明人变更声明 | 专利证书 手续合格通知书 专利登记簿副本 | |
| 买方 | 企业营业执照 企业组织机构代码证 | 身份证 | ||
| 卖方 | 企业营业执照 专利证书原件 | 身份证 专利证书原件 | ||
服务保障
优质专利推荐
-
一种一锅法合成硝酸益康唑的方法
专利状态：已下证
专利类型：发明专利
询价
-
带式电泳Micro LED元件连续排列机器人流水线及排列方法
专利状态：已下证
专利类型：发明专利
询价
-
一种球节点空间桁架钢筋笼及其制造辅助装置
专利状态：已下证
专利类型：实用新型
询价
-
一种基于区块链的电动汽车电池更换系统及方法
专利状态：已下证
专利类型：发明专利
询价
- 品类齐全，快速响应
- 专业顾问一对一服务
- 服务流程追踪更安全
400-9696-518
全国免费服务热线
- 细软在线电商小程序
- 细软知识产权公众号
登录成功
您的咨询我们已收到，稍后会有专业顾问与您联系。