形式化验证 - 专利交易市场|柿子坊知识产权运营平台

交易类型：全部转让独占许可普通许可开放许可竞拍委托代转让技术领域：全部信息与通信技术智能制造与工业系统医疗健康与生物技术新材料与化学工程能源与双碳技术交通与航空航天建筑与城市工程农业与食品技术数字服务与商业系统交叉融合与其他技术

全部发明实用新型外观设计

法律状态：全部已授权审中

项目申报：全部报过没有报过

发明已授权

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

📄 2017100037122 📂 G06F17_50 👤 电子科技大学 📅 2017-01-04

¥0.0 元

咨询

发明已授权

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

2017100037122 · 电子科技大学

¥0.0 元

咨询

1 共 1 页

求购专区 · 发布技术需求，卖家在线应标

🔋 高能量密度固态电解质材料与制备工艺

预算：¥50-100万截止：2026-08-30发布方：××新能源科技响应：8人

查看详情我要应标

交易保障 · 安心交易

资金托管

买家付款至平台，交易完成/过户成功后放款给卖家

权属尽调

专利有效性分析 + 权属状态核查，确保交易安全

合同审核

标准转让/许可合同模板，支持在线电子签署

全程代办

著录项目变更、备案手续全程代办，省心省力

交易流程 · 六步完成专利交易

选专利

在线沟通

签署合同

支付款项

办理变更

过户完成

成功交易案例

🔬

固态锂电池电解质专利包

转让方：中国科学院××研究所
受让方：××新能源科技有限公司
交易类型：独占许可
交易金额：¥320万

🧬

CRISPR基因编辑技术

转让方：××大学
受让方：××生物医药有限公司
交易类型：转让
交易金额：¥1,200万

⚡

SiC功率器件工艺专利

转让方：××半导体有限公司
受让方：××汽车电子集团
交易类型：转让
交易金额：¥680万

☀️

钙钛矿光伏组件技术

转让方：××科技公司
受让方：××能源集团
交易类型：开放许可
交易金额：¥50万/年

专利交易市场