首页 | 本学科首页   官方微博 | 高级检索  
     

用Hoare逻辑验证程序的一般方法及实例
引用本文:杨静.用Hoare逻辑验证程序的一般方法及实例[J].通讯和计算机,2007,4(2):79-81.
作者姓名:杨静
作者单位:贵州大学计算机科学与技术学院,贵阳550025
基金项目:本文得到贵州大学引退人才科研基金资助项目和贵州省省长基金资助项目(No.2005(212))的资助.
摘    要:本文引用一个简单的语言说明如何验证一个程序的正确性,并且给出一个实例来进行验证,并指明了今后的研究方向。

关 键 词:Hoare逻辑  部分正确性  公理化系统  研究方向

General Way and Example to Verify the Correctness of Program Using Hoare Logic
YANG Jing.General Way and Example to Verify the Correctness of Program Using Hoare Logic[J].Journal of Communication and Computer,2007,4(2):79-81.
Authors:YANG Jing
Abstract:This paper shows how to verify the correctness of program with respect to a language in the frame of Hoare logic, and gives a detailed example to validate this method. The future research direction is also proposed.
Keywords:Hoare logic  partial correctness  axiomatic system
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号