发明专利已授权

一种基于图的邻接矩阵的形式化验证方法

📄 申请号：CN201710003712.2 📄 发布日：2025/12/10

著录项目信息

申请日

2017-01-04

公开号

CN106682343A

公开日

2017-05-17

申请人

电子科技大学

法律状态

已下证

专利类型

发明

主分类号

G06F17_50

IPC 分类号

G06F17_50

技术画像

所属领域

形式化验证形式化验证图论算法软件验证

应用场景

软件验证, 芯片设计验证, 安全协议验证, 形式化方法, 程序正确性验证

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型，将状态编码；将编码与状态转移关系结合，建立邻接矩阵；将带求规范转化为语法树；将语法树中的操作对应计算公式运用于矩阵中；求出反例，得出结果，查看初始状态是否在最终结果状态集里面，若初始状态不在最终状态集里面，则说明原规范正确，输出true；若初始状态在反规范里面，则原规范是错误的，从初始状态开始，找一条满足反规范的路径，那么该路径就是一条与原规范相斥的反例。本发明的实施，比OBDD构建和化简要简单，可以提高其验证效率。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

20200925

✅ 授权

20170609

?? 实质审查的生效：

20170517

📄 公开

一种基于关键神经元的神经网络后门攻击防御方法人工智能、大数据、网络安全、AI、云服务、金融/安防、自动驾驶）

当前第 / 件

一种基于OpenLayers的WebGIS开发框架的构建及使用方法

同领域国内专利 · IPC: (G06F17_50)

G06F17_00 G06F17_10 G06F17_11 G06F17_12 G06F17_13 G06F17_14 G06F17_15 G06F17_16 G06F17_17 G06F17_18 G06F17_21 G06F17_22 G06F17_24 G06F17_25 G06F17_27 G06F17_28 G06F17_30 G06F17_40 G06F17_50 覆盖19个领域

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：105 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)

一种基于图的邻接矩阵的形式化验证方法

著录项目信息

技术画像

所属领域

应用场景

摘要

法律状态时间线

同领域国内专利 · IPC: (G06F17_50)

相似专利推荐 AI 驱动 · 同领域

一种混合充电载具的协作充电调度方法

基于图论和汇流累积量的河网分级系统及方法

一种基于Harary图的部分重复码的构造方法

服务项目

资源中心

关于柿子坊