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

The State of the Art in Formal Methods:A Survey

作　　者：吕毅[1] 

机构地区：[1]中国科学院计算技术研究所智能中心,北京100080

出　　处：《微电子学与计算机》2003年第10期26-31,34,共7页Microelectronics & Computer

基　　金：国家863计划项目基金(863-306-ZD01-01);中科院计算所领域前沿青年基金(20026180-2)

摘　　要：文章介绍了形式化方法的基本概念和分类,几种主要的形式化方法技术的源流和相互影响,形式化方法在工业界的典型应用以及形式化方法的能力和局限。着重介绍了形式化方法这几年的最新进展。This paper surveys recent progress in the develop-ment of formal methods for specifying and verifying complex hardware and software systems.This article introduces the basic concepts of formal methods and describes the short history of formal methods,then some typical industry applications of for-mal methods are presented in succession.Finally,the strength and weakness,the future directions of formal methods are dis-cussed.

关 键 词：软件工程 形式化方法 形式规范方法 规范语言 计算机 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]