左春华

作品数：2被引量：1H指数：0
导出分析报告
供职机构：苏州大学计算机科学与技术学院更多>>
发文主题：XYZ/EC语言C程序SPIN形式化验证更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《苏州大学学报（自然科学版）》《计算机科学》更多>>
所获基金：重庆市自然科学基金江苏省高校自然科学研究项目重庆市教育委员会科学技术研究项目国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用于C语言程序验证的性质描述语言C-PDL
《苏州大学学报（自然科学版）》2007年第3期31-36,共6页左春华 张广泉 郭亮 
江苏省高校自然科学基金资助项目(05KJB520119);重庆市自然科学基金资助项目(CSTC;2006BB2259);中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)
为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一般程序员很难正确地使用,因此,文章提出了半形式化的描述语言C-PDL,并介绍了采用C-PDL描述性质的验证系统...
关键词：C-PDL 规范模式系统 程序性质 模型检测 XYZ/AE 
XYZ/AE描述程序性质的探讨被引量：1
《计算机科学》2007年第3期268-270,278,共4页左春华 张广泉 戎玫 
江苏省高校自然科学基金(批准号:05KJB520119);重庆市自然科学基金项目(编号:CSTC;2006BB2259);重庆市教委科学技术研究项目(合同号:040803)
为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它...
关键词：程序性质 XYZ/AE XYZ/E 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部