摘要
程序的正确性证明是计算机软件工程中的一个重要领域。本文简单说明了程序正确性的基本理论和方法,并介绍了该领域的最新进展和作者对于该问题的一些看法。
The validity of program is proved to be one of the most important areas in computer engineering. This article not only illustrated the basic method and theory for the validity of program, but also introduced the latest achievement and the author＇s opinions on it.
出处
《科技广场》
2006年第2期24-25,共2页
Science Mosaic
关键词
正确性
形式化
Validity
Formalization
