关于程序验证方法的讨论  被引量:2

On Methods of Program Verification

在线阅读下载全文

作  者:周青[1] 

机构地区:[1]中山大学计算机软件研究所,广州510275

出  处:《计算机科学》1995年第3期58-60,共3页Computer Science

摘  要:一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。The researching in the program correctness verification has been taken decades,but so far as we know no substantial progress has been made. In this paper,we attempt to discuss the prob-lem,including a discussion on the weakness in traditional methods and existance of a new method.

关 键 词:程序验证方法 逻辑推理 数理逻辑 程序正确性 

分 类 号:TP311.1[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象