您的位置： 专家智库 > 作者详情>陈凌宇

陈凌宇

作品数：3 被引量：1H指数：1
供职机构：电子科技大学更多>>
相关领域：文化科学理学自动化与计算机技术更多>>

合作作者

题名
作者

文献类型

  • 2篇专利
  • 1篇学位论文

领域

  • 2篇文化科学
  • 1篇自动化与计算...
  • 1篇理学

主题

  • 3篇形式化
  • 3篇形式化验证
  • 3篇形式化验证方...
  • 3篇邻接
  • 3篇邻接矩阵
  • 3篇矩阵
  • 2篇语法树
  • 2篇状态集
  • 2篇相斥
  • 1篇运算符
  • 1篇图论
  • 1篇CTL

机构

  • 3篇电子科技大学

作者

  • 3篇陈凌宇
  • 2篇桑楠
  • 2篇詹瑾瑜
  • 2篇郭新
  • 2篇刘梅
  • 2篇张益铭
  • 2篇蒋远

年份

  • 1篇2020
  • 1篇2017
  • 1篇2016
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
相关度排序
基于图论的形式化验证方法的研究与实现
随着硬件制作的工艺发展和软件开发技术的日益成熟，软硬件的制作产能越来越强，这也对软硬件质量的可靠性和效率性能有了越来越高的要求。为此在可靠性和性能的保证上的资源投入也越来越大。传统验证方法会耗费太多的人力物力。为了降低制...
陈凌宇
关键词：形式化验证图论邻接矩阵
一种基于图的邻接矩阵的形式化验证方法
本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型，将状态编码；将编码与状态转移关系结合，建立邻接矩阵；将带求规范转化为语法树；将语法树中的操作对应计算公式运用于矩阵中；求出反例，得出结果，查看初始状态是...
詹瑾瑜桑楠陈凌宇张益铭杨俊欢刘梅蒋远郭新
文献传递
一种基于图的邻接矩阵的形式化验证方法
本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型，将状态编码；将编码与状态转移关系结合，建立邻接矩阵；将带求规范转化为语法树；将语法树中的操作对应计算公式运用于矩阵中；求出反例，得出结果，查看初始状态是...
詹瑾瑜桑楠陈凌宇张益铭杨俊欢刘梅蒋远郭新
全选 清除 导出
共1页<1>
聚类工具0