您现在的位置: 首页 > 技术转让 > PPTL符号模型检测方法
PPTL符号模型检测方法

PPTL符号模型检测方法

  • 专利类型:发明专利
  • 有效期:不限
  • 发布日期:2020-03-27
  • 技术成熟度:未知
交易价格: ¥面议
  • 法律状态核实
  • 签署交易协议
  • 代办官方过户
  • 交易成功

专利推荐

  • 技术(专利)类型 发明专利
  • 申请号/专利号 CN201210102063.9 
  • 技术(专利)名称 PPTL符号模型检测方法 
  • 项目单位 西安电子科技大学
  • 发明人 段振华 逄涛 田聪 王小兵  
  • 行业类别 物理
  • 技术成熟度 未知
  • 交易价格 ¥面议
  • 联系人 西安电子科技大学
  • 发布时间 2017-01-18  
  • 01

    项目简介

    本发明是一种PPTL符号模型检测方法,属可信计算领域,本发明使用具有完全正则表达能力的规范语言PPTL描述待验证系统期望性质;使用Kripke结构M=S,R,L描述系统模型,借助ROBDD对符号化系统模型M进行搜索,通过构建标记正则图检查期望性质公式是否可满足,节省后续操作时间,提高检测效率。本发明仅需基于时序操作符“○”的检测过程,降低了检测复杂度。本发明提升了模型检测可处理问题的规模,有效缓解状态空间爆炸问题,同时具有描述状态敏感、顺序和闭包性质的能力,可以应用于工业、农业、军事、科研等领域硬件系统设计缺陷的检测,软件系统控制逻辑错误的检查以及通信协议正确性的形式化验证。
    展开
  • 02

    说明书

    展开

专利技术附图

< >

服务流程

过户资料

  • 买卖双方需提供资料
  • 平台提供
  • 过户后您将获得
  • 买家
  • 卖家
  • 公司
  • 企业营业执照
  • 企业营业执照

    专利注册证原件

  • 个人
  • 身份证

    个体户营业执照

  • 身份证

    专利注册证原件

  • 专利代理委托书

    转让申请书

    转让协议

  • 手续合格通知书

    专利证书

    专利利登记簿副本

安全保障

  • 品类齐全

    海量资源库,平台整合几十万闲置资源。
  • 交易保障

    完善的资金保障体系确保买卖双方资金安全。
  • 专人跟进

    专业交易顾问全程服跟进,确保交易流畅。
  • 快速响应

    专业在线/电话客服服务,快速响应贴心服务。
  • 售后无忧

    资质过硬,国内大知识产权服务平台。

在线客服

在线咨询

010-83278899

返回顶部