形式化方法介绍及其在工程中的应用

被引：19

作者：

吕毅

机构：

[1] 中国科学院计算技术研究所智能中心北京

来源：

关键词：

形式化方法; 形式规范; 形式验证; 软件工程; 硬件设计;

D O I：

10.19304/j.cnki.issn1000-7180.2003.10.009

中图分类号：

TP399 [在其他方面的应用];

学科分类号：

081203 ; 0835 ;

摘要：

文章介绍了形式化方法的基本概念和分类,几种主要的形式化方法技术的源流和相互影响,形式化方法在工业界的典型应用以及形式化方法的能力和局限。着重介绍了形式化方法这几年的最新进展。

引用

页码：26 / 31+34 +34

页数：7