|国家科技期刊平台
| 注册
首页|期刊导航|软件导刊|一种程序推导与验证方法研究

一种程序推导与验证方法研究

张哲 丁志义

软件导刊Issue(6)：9-10,2.
✕
软件导刊Issue(6)：9-10,2.

一种程序推导与验证方法研究

张哲 1丁志义1

作者信息

  • 1. 宁夏大学数学计算机学院，宁夏银川750021
  • 折叠

摘要

关键词

Hoare公理/正确性验证/WP语义/公理化方法/前置条件

分类

信息技术与安全科学

引用本文复制引用

张哲,丁志义..一种程序推导与验证方法研究[J].软件导刊,2014,(6):9-10,2.

基金项目

国家自然科学基金项目 （）

软件导刊

1672-7800

访问量0
|
下载量0
段落导航相关论文