摘要
随着计算机及软件系统逐步渗透到社会生活的方方面面,对软件可靠性、安全性和保密性的要求也越来越高.本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法,以及演绎证明和模型检测等形式验证方法。
Society is increasingly dependent on computer and software systems to assist us in almost every aspect of daily life, the software reliability, safety and security are strongly required. This paper presents the definition and importance of formal methods, and provides an overview of formal methods, specially discusses specification methods and verification methods that include deductive proving and model checking.
出处
《电脑与电信》
2008年第7期25-27,共3页
Computer & Telecommunication
基金
广东省自然科学基金:"网格服务隐私保护技术研究"
项目编号:No.06023961
广东省教育厅自然科学基金:"网络服务隐私保护技术研究"
项目编号:No.05Z013
关键词
形式化方法
规约
验证
formal methods
specification
verification
