专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果14个,建议您升级VIP下载更多相关专利
  • [发明专利]基于定理证明的形式化验证方法-CN201911225125.3在审
  • 杨霞;郭文生;瞿元;李南铮;黄一;钱智成;潘文睿;高扬;张冯博;卢秀台;熊宇 - 电子科技大学
  • 2019-12-04 - 2020-04-10 - G06F8/30
  • 本发明公开一种基于定理证明的形式化验证方法,应用于安全操作系统领域,针对现有的操作系统存在的安全性问题,本发明基于定理证明的形式化验证方法,包括:对源代码重构、对函数进行形式化建模、对函数进行定理描述、最后进行形式化证明;本发明采用人机交互的半自动化证明,利用类型系统和逻辑之间的同构关系,将构造证明的过程转化为编写程序的过程,而证明的正确性检查也变成了类型检查问题,尽管需要大量手工劳动来构造证明,但是本发明提出的方法无需牺牲规约和代码的表达能力,特别是程序中可以使用表达能力很强的逻辑来表示,且证明自身在机器中都有显示表示,其正确性可以被自动检查,验证的结论也就更加可信。
  • 基于定理证明形式化验证方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top