限定检索结果

文献类型

  • 1篇期刊文献

馆藏范围

  • 1篇电子文献

日期分布

 

学科分类号

  • 1篇工学

主题

  • 1篇并发程序
  • 1篇cpv
  • 1篇状态
  • 1篇进程

机构

  • 1篇贵州大学

作者

  • 1篇赵莉莉
  • 1篇杜习慧
  • 1篇李祥
  • 1篇白金山

语言

  • 1篇中文
检索条件"作者=杜习慧"
1 条 记 录,以下是1-10 订阅
并发程序验证器CPV的设计与应用研究
收藏 引用
《贵州大学学报(自然科学版)》2008年 第1期25卷 60-64,100页
作者:白金山 杜习慧 赵莉莉 李祥贵州大学计算机软件与理论研究所贵州贵阳550025 
以以色列的并发程序验证器CPV1.1为蓝本,深入研究了并发程序检测的设计实现过程,讨论了该软件的各种数据类的结构和它们之间的相互关系,以及并发程序的执行过程,在此基础上对其做了适当的改进,简化了输入方式和程序的执行。提高了CPV的...
来源:详细信息评论
聚类工具 回到顶部