您的位置： 专家智库 > >

张哲

作品数：1 被引量：0H指数：0
供职机构：宁夏大学数学统计学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义
  • 1篇公理
  • 1篇公理化
  • 1篇公理化方法
  • 1篇WP

机构

  • 1篇宁夏大学

作者

  • 1篇丁志义
  • 1篇张哲

传媒

  • 1篇软件导刊

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种程序推导与验证方法研究
2014年
随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题,利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。
张哲丁志义
关键词：公理化方法
全选 清除 导出
共1页<1>
聚类工具0