您的位置： 专家智库 > >

刘诚

作品数：2 被引量：4H指数：2
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇编译器
  • 2篇出具证明编译...
  • 1篇自动生成

机构

  • 2篇中国科学技术...

作者

  • 2篇刘诚
  • 2篇华保健
  • 2篇陈意云
  • 2篇葛琳
  • 1篇李兆鹏

传媒

  • 1篇小型微型计算...
  • 1篇计算机工程与...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
汇编代码验证中的形式规范自动生成被引量：3
2008年
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范.本文提出一种能够自动生成形式规范的方法,该方法依托一个出具证明的编译器自动生成汇编级形式规范,从而减轻程序员的负担.使用该方法生成的规范比现有的其他方法自动生成的规范具有更强的表达能力.文章主要描述该方法在出具证明编译器中的实现.
葛琳陈意云华保健李兆鹏刘诚
关键词：出具证明编译器
一个出具证明编译器原型系统的实现被引量：2
2007年
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。
刘诚陈意云葛琳华保健
关键词：出具证明编译器
全选 清除 导出
共1页<1>
聚类工具0