|
|||||
|
|
| 关于软件形式化方法 | |
| 引用本文： | 张广泉.关于软件形式化方法[J].重庆师范大学学报(自然科学版),2002,19(2):1-4,9. |
| 作者姓名： | 张广泉 |
| 作者单位： | 重庆师范学院数学与计算机科学系,重庆,400047,中国科学院计算机科学重点实验室,北京,100080 |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家自然科学基金，中国科学院知识创新工程项目，重庆市应用基础研究基金，运筹学与控制论市级重点实验室基金，2001AA113200，60073020，，，，，，，， |
| 摘 要： | 简要回顾了形式化方法的发展历程,阐述了形式化方法的定义、重要性及主要研究内容.着重讨论了形式规约语言与方法,以及演绎证明和模型检测等形式验证方法. |
| 关 键 词： | 形式化方法 规约 验证 演绎证明 模型检测 |
| 文章编号： | 1001-8905(2002)02-0001-04 |
| 修稿时间： | 2002年3月12日 |
Formal Methods for Software |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |