[发明专利]一种基于Noesis逻辑的程序开发与验证方法及系统有效
| 申请号： | 202010295856.1 | 申请日： | 2020-04-15 |
| 公开（公告）号： | CN111679809B | 公开（公告）日： | 2023-06-06 |
| 发明（设计）人： | 黄步添;徐启源 | 申请（专利权）人： | 杭州云象网络技术有限公司 |
| 主分类号： | G06F8/20 | 分类号： | G06F8/20;G06F8/41 |
| 代理公司： | 杭州五洲普华专利代理事务所(特殊普通合伙) 33260 | 代理人： | 丁少华 |
| 地址： | 310000 浙江省杭州市*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于Noesis逻辑的程序开发与验证方法及系统，包括：设置Noesis对应关系；以对应关系替代传统编程语言中的类型关系；以对应关系构建Noesis逻辑；以Noesis逻辑替代传统的类型系统；基于对应关系、Noesis逻辑，构建程序开发及验证方法。本发明实现代价不高，实行起来简单容易，并且能够实现低成本消耗，所以能够被普遍地应用在现实的普通工业生产中。本发明通过设计一种程序开发及验证方法，提高了证明程序的正确性，提供了绝对安全的程序实现过程。 | ||
| 搜索关键词： | 一种 基于 noesis 逻辑 程序 开发 验证 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州云象网络技术有限公司，未经杭州云象网络技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010295856.1/，转载请声明来源钻瓜专利网。
