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

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

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

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

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

发明已授权

本发明公开了一种基于HCPN的智能合约安全模式形式化与验证方法，将智能合约的安全模式采用提交展示方法转换为BPMN模型，通过预设映射规则，将BPMN模型转换为CPN模型，分析CPN模型生成第一状态空间报告；将智能合约源代码转换为HCPN模型，分析HCPN模型生成第二状态空间报告；分别将第一、第二状态空间报告描述为一组属性，使用ASK‑CTL公式将所述一组属性表述为一个SML函数，运行所述SML函数，根据运行结果验证所述智能合约是否遵循所述安全模式。本发明便于调查在智能合约环境中被滥用的安全模式，将原本不易的通过映射规则进行建模的方式变为自动建模过程。

📄 2022102545943 📂 G06F21_57 👤 浙江工业大学 📅 2022-03-15

¥0.0 元

咨询

发明已授权

一种基于HCPN的智能合约安全模式形式化与验证方法

2022102545943 · 浙江工业大学

¥0.0 元

咨询

1 共 1 页

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

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

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

查看详情我要应标

交易保障 · 安心交易

资金托管

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

权属尽调

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

合同审核

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

全程代办

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

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

选专利

在线沟通

签署合同

支付款项

办理变更

过户完成

成功交易案例

🔬

固态锂电池电解质专利包

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

🧬

CRISPR基因编辑技术

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

⚡

SiC功率器件工艺专利

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

☀️

钙钛矿光伏组件技术

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

专利交易市场