雷富兴

作品数：2被引量：3H指数：1
导出分析报告
供职机构：解放军信息工程大学电子技术学院更多>>
发文主题：形式化方法HOARE逻辑过程语义程序语义形式化推导更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Hoare逻辑的过程调用的形式化方法被引量：2
《计算机工程与设计》2011年第1期197-201,共5页雷富兴 张来顺 
采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这...
关键词：HOARE逻辑 过程语义 过程调用语义 前置条件 后置条件 
循环条件的形式化推导在程序验证中的应用被引量：1
《计算机工程与设计》2010年第14期3193-3197,共5页雷富兴 张来顺 石荣刚 杨科 
提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序。提出...
关键词：循环执行 循环终止 形式化方法 自动化 程序验证 缺陷修正 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部