您的位置： 专家智库 > >

王颖

作品数：1 被引量：15H指数：1
供职机构：北京京航计算通讯研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化验证
  • 1篇形式化验证方...
  • 1篇逻辑系统
  • 1篇基于逻辑

机构

  • 1篇北京大学
  • 1篇哈尔滨工业大...
  • 1篇北京京航计算...

作者

  • 1篇裘宗燕
  • 1篇王颖
  • 1篇陈钢
  • 1篇于林宇

传媒

  • 1篇北京大学学报...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于逻辑的形式化验证方法:进展及应用被引量：15
2016年
近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。
陈钢于林宇裘宗燕王颖
关键词：形式化方法逻辑系统
全选 清除 导出
共1页<1>
聚类工具0