智能合约漏洞检测方法、装置、设备和存储介质

专利号：CN202210736727.0

公布日：2022-09-16

申请人：中国人民银行数字货币研究所

Web服务协议语义的形式化描述方法及装置

专利号：CN201110073684.4

公布日：2012-09-26

申请人：北京航空航天大学

发动机的控制软件的形式化处理方法和装置

专利号：CN202011373919.7

公布日：2022-06-03

申请人：中国航发商用航空发动机有限责任公司

一种航天装备软件配置项测试需求形式化描述方法及装置

专利号：CN202310183712.0

公布日：2023-06-23

申请人：湖北航天技术研究院总体设计所

一种航天装备软件系统测试需求形式化描述方法及装置

专利号：CN202310187909.1

公布日：2023-05-30

申请人：湖北航天技术研究院总体设计所

形式化验证方法

专利号：CN202010113863.5

公布日：2022-04-05

申请人：华东师范大学

形式化验证系统

专利号：CN202010113873.9

公布日：2022-04-05

申请人：华东师范大学

机器翻译方法和系统

专利号：CN200910247943.3

公布日：2010-06-16

申请人：程光远

一种验证协议的方法及装置

专利号：CN201610204332.0

公布日：2019-08-02

申请人：浪潮电子信息产业股份有限公司

一种基于VS Code的形式化云平台方法与装置

专利号：CN202210998125.2

公布日：2022-11-11

申请人：浙江大学;浙江大学嘉兴研究院

一种基于形式化模型的智能合约代码设计生成方法及系统

专利号：CN202111427479.3

公布日：2022-03-08

申请人：北京航空航天大学

一种基于定理证明器Coq的稀疏矩阵形式化验证方法

专利号：CN202211376269.0

公布日：2023-03-07

申请人：南京航空航天大学

通信协议可信性验证装置

专利号：CN202010011588.6

公布日：2022-03-04

申请人：上海丰蕾信息科技有限公司

基于扩展UML的Web应用形式化建模及验证方法

专利号：CN201810609329.6

公布日：2018-11-16

申请人：天津大学

面向区块链智能合约的高度自动化形式化验证系统及方法

专利号：CN201810266317.8

公布日：2021-03-30

申请人：成都链安科技有限公司