您的位置： 专家智库 > >

中国博士后科学基金(20080430770)

作品数：1 被引量：3H指数：1
相关作者：王海波郭宇陈意云更多>>
相关机构：中国科学技术大学更多>>
发文基金：中国博士后科学基金江苏省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇代码
  • 1篇多线程
  • 1篇多线程程序
  • 1篇线程
  • 1篇汇编代码

机构

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

作者

  • 1篇陈意云
  • 1篇郭宇
  • 1篇王海波

传媒

  • 1篇小型微型计算...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
验证带有线程的动态创建和退出的多线程程序被引量：3
2010年
近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式,使用高阶逻辑描述指令的推理规则和安全策略,为证明带有线程的动态创建和退出的多线程程序的部分正确性提供了一种实用的方法.
王海波郭宇陈意云
关键词：多线程汇编代码
全选 清除 导出
共1页<1>
聚类工具0