您的位置： 专家智库 > >

李明

作品数：1 被引量：2H指数：1
供职机构：华中师范大学计算机学院计算机科学系更多>>
发文基金：中央高校基本科研业务费专项资金软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇前端
  • 1篇前端工具
  • 1篇分析技术

机构

  • 1篇华中师范大学

作者

  • 1篇张振方
  • 1篇谢茜
  • 1篇叶俊民
  • 1篇金聪
  • 1篇李明

传媒

  • 1篇计算机科学

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于模型检验程序分析技术的前端工具研究被引量：2
2010年
提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。
叶俊民谢茜金聪李明张振方
全选 清除 导出
共1页<1>
聚类工具0