“形式化”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果2680650个，建议您升级VIP下载更多相关专利

[发明专利]智能合约漏洞检测方法、装置、设备和存储介质-CN202210736727.0在审
发明人：刘自强 -专利权人：中国人民银行数字货币研究所
申请日： 2022-06-27 - 公布日： 2022-09-16 - 主分类号： G06F21/57 文献下载
摘要：本申请公开了一种智能合约漏洞检测方法、装置、设备和存储介质，涉及区块链领域，该智能合约漏洞检测方法包括：获取智能合约的形式化部署信息；其中形式化部署信息包括形式化初始状态以及与形式化行为列表；形式化行为列表包括智能合约的初始化执行函数和行为函数；基于形式化初始状态，执行形式化行为列表包括的初始化执行函数和行为函数，得到智能合约的执行结果；根据智能合约的形式化规范库检测智能合约的执行结果，得到漏洞检测结果，该形式化规范库包括智能合约的形式化规范
智能合约漏洞检测方法装置设备存储介质

[发明专利]Web服务协议语义的形式化描述方法及装置-CN201110073684.4无效
发明人：马殿富;赵永望;李竹青;李建欣;窦云亮 -专利权人：北京航空航天大学
申请日： 2011-03-25 - 公布日： 2012-09-26 - 主分类号： G06F17/30 文献下载
摘要：本发明提供一种Web服务协议语义的形式化描述方法及装置。方法包括：根据集合论和一阶逻辑定义描述XML数据的形式化模型，并定义形式化模型对应的形式化操作；定义与形式化模型和形式化操作对应的逻辑处理语句；对Web服务协议语义进行分解处理，获取协议状态和协议状态之间的迁移，并用形式化模型和形式化操作表示协议状态，用逻辑处理语句描述协议状态之间的迁移，以实现对Web服务协议语义的形式化描述。本发明技术方案可以实现对Web服务协议语义的形式化描述，保证了Web服务协议的正确实现。
web 服务协议语义形式化描述方法装置

[发明专利]发动机的控制软件的形式化处理方法和装置-CN202011373919.7在审
发明人：赵旭东;徐静 -专利权人：中国航发商用航空发动机有限责任公司
申请日： 2020-11-30 - 公布日： 2022-06-03 - 主分类号： G06F8/10 文献下载
摘要：本公开提供了一种发动机的控制软件的形式化处理方法和装置，涉及形式化技术领域，所述方法包括：接收用户输入的所述控制软件的半形式化的控制需求；根据定义的形式化语言，将所述半形式化的控制需求形成为形式化的控制需求；根据所述发动机的控制安全规则，对所述形式化的控制需求进行验证；将验证后的所述形式化的控制需求转换为建模脚本，其中，所述建模脚本被配置为在被建模软件执行后生成所述控制软件的仿真模型。
发动机控制软件形式化处理方法装置

[发明专利]一种航天装备软件配置项测试需求形式化描述方法及装置-CN202310183712.0在审
发明人：原野;刘丹;戴佳琪;潘星;蔡梦琳;余杰;高荇 -专利权人：湖北航天技术研究院总体设计所
申请日： 2023-02-28 - 公布日： 2023-06-23 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种航天装备软件配置项测试需求形式化描述方法及装置，涉及航天装备软件配置项测试领域，该方法包括创建用于对软件配置项测试需求进行形式化描述的形式化描述工具，并基于软件配置项测试需求的类型，选择待建立的形式化描述图形的类型；基于形式化描述工具，选择对应软件配置项测试需求的基本图元，以建立形式化描述图形；根据软件配置项测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行设置；基于设置完成的形式化描述图形，生成与形式化描述图形对应的XML描述文件。本发明能够提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
一种航天装备软件配置测试需求形式化描述方法装置

[发明专利]一种航天装备软件系统测试需求形式化描述方法及装置-CN202310187909.1在审
发明人：原野;刘丹;周松;潘星;刘梦达;张卫平;张朋 -专利权人：湖北航天技术研究院总体设计所
申请日： 2023-02-28 - 公布日： 2023-05-30 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种航天装备软件系统测试需求形式化描述方法及装置，涉及航天装备软件系统测试领域，该方法包括创建用于对软件系统测试需求进行形式化描述的形式化描述工具，并基于软件系统测试需求，选择待建立形式化描述图形类别；根据形式化描述工具的可操作方式，选择对应软件系统测试需求的基本图元，实现形式化描述图形的建立；基于软件系统测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行配置；基于配置完成的形式化描述图形，生成对应于形式化描述图形的XML描述文件。本发明能够有效提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。
一种航天装备软件系统测试需求形式化描述方法装置

[发明专利]形式化验证方法-CN202010113863.5有效
发明人：黄滟鸿;杨秀丽;史建琦;曹桂涛;郭欣 -专利权人：华东师范大学
申请日： 2020-02-24 - 公布日： 2022-04-05 - 主分类号： G06F8/35 文献下载
摘要：本发明公开了一种形式化验证方法，包括SEDS建模步骤，用于依据电子数据表单规范文件建立SEDS模型；模型转换步骤用于将SEDS模型转换为适合模型检查的形式化模型；性质规约步骤用于对SEDS模型的功能逻辑的性质进行形式化描述；形式化验证步骤用于对形式化模型和所描述的功能逻辑性质进行形式化验证，得到验证结果。本发明通过将SEDS模型转换为形式化模型，对SEDS模型的功能逻辑的性质进行形式化描述，对形式化模型和性质描述进行形式化验证，以从数学推理角度对SEDS的功能逻辑实现检查，进而保障软件的正确性和可靠性，
形式化验证方法

[发明专利]形式化验证系统-CN202010113873.9有效
发明人：黄滟鸿;杨秀丽;史建琦;曹桂涛;郭欣 -专利权人：华东师范大学
申请日： 2020-02-24 - 公布日： 2022-04-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种形式化验证系统，包括SEDS建模模块，用于依据电子数据表单规范文件建立SEDS模型；模型转换模块用于将SEDS模型转换为适合模型检查的形式化模型；性质规约模块用于对SEDS模型的功能逻辑的性质进行形式化描述；形式化验证模块用于对形式化模型和所描述的功能逻辑性质进行形式化验证，得到验证结果。本发明通过将SEDS模型转换为形式化模型，对SEDS模型的功能逻辑的性质进行形式化描述，对形式化模型和性质描述进行形式化验证，以从数学推理角度对SEDS的功能逻辑实现检查，进而保障软件的正确性和可靠性，
形式化验证系统

[发明专利]机器翻译方法和系统-CN200910247943.3无效
发明人：程光远 -专利权人：程光远
申请日： 2009-12-31 - 公布日： 2010-06-16 - 主分类号： G06F17/28 文献下载
摘要：机器翻译方法包括以交互方式或自动方式对非形式化源语言进行形式化处理和以自动方式把形式化源语言转换成形式化目标语言或非形式化目标语言两个步骤。机器翻译系统包括交互方式或自动方式源语言形式化处理模块和自动方式形式化目标语言或非形式化目标语言转换模块。源语言形式化处理模块和目标语言转换模块相互独立，这一特点使本发明具有易扩充性。对源语言进行形式化处理是把源语言翻译成各种目标语言的共同基础，这一特点使本发明特别适合“一对多”机器翻译。
机器翻译方法系统

[发明专利]一种验证协议的方法及装置-CN201610204332.0有效
发明人：王振江;王朝辉;钟俊华 -专利权人：浪潮电子信息产业股份有限公司
申请日： 2016-04-05 - 公布日： 2019-08-02 - 主分类号： H04L29/06 文献下载
摘要：本发明提供了一种验证协议的方法及装置，该方法，包括：预先建立预设数量个CPU簇，其中，每个CPU簇中包括：CPU形式化模型和节点芯片形式化模型；运行每个CPU簇中的所述CPU形式化模型和所述节点芯片形式化模型，实现CPU簇之间的数据交互；根据所述CPU形式化模型和所述节点芯片形式化模型的运行信息，进行协议验证。
一种验证协议方法装置

[发明专利]一种基于VS Code的形式化云平台方法与装置-CN202210998125.2在审
发明人：赵永望;许浩;王星原;任奎 -专利权人：浙江大学;浙江大学嘉兴研究院
申请日： 2022-08-19 - 公布日： 2022-11-11 - 主分类号： G06F8/38 文献下载
摘要：本发明公开了一种基于VSCode的形式化云平台方法与装置，与传统的IDE相比，免去了提前安装、配置参数的麻烦，用户只需良好的网络和合适的设备就能使用，便于形式化领域工作的开展和共享；与市面上已有的IDE产品相比，本发明专注于形式化领域，能满足形式化方法的编程需要，提高形式化工作的效率；支持多种形式化语言，支持同一种IDE的多个版本，覆盖面广；VSCode对插件的支持便于开发更多功能，可扩展性强；VSCode支持与多个形式化方法集成开发环境通信，集成开发环境完成证明，因而通过VSCode能完成多种形式化语言的证明工作。
一种基于 vs code 形式化平台方法装置

[发明专利]一种基于形式化模型的智能合约代码设计生成方法及系统-CN202111427479.3在审
发明人：胡凯;朱健;李洁 -专利权人：北京航空航天大学
申请日： 2021-11-29 - 公布日： 2022-03-08 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了一种基于Event‑B形式化模型的智能合约代码设计生成方法，包括：步骤1，进行智能合约的需求分析，需求分析需要多方协调，用自然语言或领域特定语言DSL来描述智能合约的功能、属性和场景；步骤2，基于形式化模型Event‑B的语言准确地建立智能合约形式化模型并规约智能合约的属性；步骤3，基于形式化模型Event‑B，对智能合约形式化模型进行验证，对于没有通过验证的智能合约形式化模型进行反向校正和模型修改，直到通过验证；步骤4，基于EB2S运算子，将输入EB2S运算子的智能合约形式化模型对应输出Solidity智能合约代码。还公开了相应的基于Event‑B形式化模型的智能合约代码设计生成系统和电子设备，解决智能合约现有安全问题以及形式化方法与智能合约结合的不足。
一种基于形式化模型智能合约代码设计生成方法系统

[发明专利]一种基于定理证明器Coq的稀疏矩阵形式化验证方法-CN202211376269.0在审
发明人：陈钢;沈楠 -专利权人：南京航空航天大学
申请日： 2022-11-04 - 公布日： 2023-03-07 - 主分类号： G06F17/16 文献下载
摘要：本发明公开了一种基于定理证明器Coq的稀疏矩阵形式化验证方法，通过在定理证明器Coq中对稀疏矩阵进行形式化定义并且验证了稀疏矩阵运算的主要性质，主要包括以下步骤:(1)稀疏矩阵的形式化定义；(2)稀疏矩阵生成的形式化定义；(3)稀疏矩阵取元素运算的形式化定义；(4)稀疏矩阵运算的形式化定义；(5)基本性质的形式化证明。
一种基于定理证明 coq 稀疏矩阵形式化验证方法

[发明专利]通信协议可信性验证装置-CN202010011588.6有效
发明人：史建琦;黄滟鸿;张继;任建鹏;于会新;杨洋;张鹏 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-03-04 - 主分类号： H04L43/18 文献下载
摘要：本发明公开了一种通信协议可信性验证装置，包括：形式化语言描述模块，用于通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；形式化验证模块，用于通过形式化验证工具对所述形式化语言描述的需求规范进行验证通过上述装置，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
通信协议可信性验证装置

[发明专利]基于扩展UML的Web应用形式化建模及验证方法-CN201810609329.6在审
发明人：杨星星;李晓红;侯庆志 -专利权人：天津大学
申请日： 2018-06-13 - 公布日： 2018-11-16 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于扩展UML的Web应用形式化建模及验证方法，步骤(1)、提取所要设计的软件系统的功能性需求，进行需求分析；步骤(2)、进行UML建模；步骤(3)、使用XML表示上述的UML2.3模型；步骤(4)、生成形式化描述；步骤(5)、进行安全属性验证。本发明提供了由UML2.3模型到形式化语言进行自动转换的可行方法；对UML2.3中类图、时序图、状态图进行扩展，实现Web应用中协议的验证，以及实现UML模型到pi演算形式化语言的自动转换，极大的降低直接对协议进行形式化建模的难度；所用的形式化建模验证工具，并精化形式化验证模型；通过对验证结果的展示和攻击路径的分析，检测到形式化模型的漏洞，有助于快速精化模型，高效地进行缺陷检测。
建模验证自动转换功能性需求形式化描述形式化验证时序安全属性攻击路径缺陷检测软件系统需求分析验证工具验证结果语言漏洞检测展示分析

[发明专利]面向区块链智能合约的高度自动化形式化验证系统及方法-CN201810266317.8有效
发明人：杨霞 -专利权人：成都链安科技有限公司
申请日： 2018-03-28 - 公布日： 2021-03-30 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了面向区块链智能合约的高度自动化形式化验证系统及方法，使用代码转换器工具可将区块链智能合约源代码，自动化的转换为形式化验证识别的语言中间层代码，供形式化验证输入使用；采用形式化方法，可对转换的源代码进行高度自动化的形式化安全验证本发明能够以较高程度的自动化，实现对区块链智能合约进行形式化安全验证，其中的使用自动代码转换器能够自动化生成形式化的待验证程序，自动化验算策略提高的验证效率，这些措施则可以极大的提高智能合约形式化验证的效率
面向区块智能合约高度自动化形式化验证系统方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条