关于软件形式化方法

被引：19

作者：

张广泉

机构：

[1] 重庆师范学院数学与计算机科学系重庆中国科学院计算机科学重点实验室

[2] 北京

来源：

重庆师范学院学报(自然科学版) | 2002年 / 02期

关键词：

形式化方法; 规约; 验证; 演绎证明; 模型检测;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

简要回顾了形式化方法的发展历程 ,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法 ,以及演绎证明和模型检测等形式验证方法

引用

收藏

页码：1 / 4+9 +9

页数：5

相关论文

共 4 条

[1]

广义反应系统形式化方法研究 .2 张广泉. 重庆大学计算机学院 . 1999

[2]

FormalMethodsSpecificationandVerificationGuidebookforSoftwareandComputerSystems,Vol(I):PlanningandTechnologyInsertion .2 NASAJPL. NASA GB 00295 . 1995

[3]

Mit[P]. FERGUSON JOSEPH.中国专利:USD427728S,2000-07-04

[4]

FormalMethodsSpecificationandVerificationGuidebookforSoftwareandComputerSystems,Vol(II):APractitioner''''''''sCompanion .2 NASAJPL. NASA GB 00197 . 1997