|
|||||
|
|
| 支持程序验证的模块方法 | |
| 引用本文： | 刘定飞,钟珞.支持程序验证的模块方法[J].计算机科学,1994,21(1):75-79. |
| 作者姓名： | 刘定飞 钟珞 |
| 作者单位： | 武汉工业大学自动化系，武汉工业大学自动化系 武汉 430070，武汉 430070 |
| 摘 要： | 本文给出一种支持程序验证的模块方法，并讨论了基于函数语义的模块验证，程序可划分为若干个模块，模块本身又可划分为若干个更小的子模块，其验证独立进行。将独立验证过的各子模块复合，完成上级模块或程序本身的验证。 |
| 关 键 词： | 程序验证 模块法 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |