摘要： 基于模型的验证（Ｍｏｄｅｌ－ｂａｓｅｄ　Ｖｅｒｉｆｉｃａｔｉｏｎ）方法在软件开发中，特别是安全性系统、复杂系统的开发中占有的地位越来越重要。ＭＢＶ侧重于在开发的早期找出错误，从而避免时间、金钱的耗费及重复性的劳动。在研究各种ＭＢＶ技术的基础上，着重于软件系统的模型验证方法，对各种方法作了基本的介绍，并总结了发展方向。

关键词: 模型验证, 模型检测, SMV, SPIN

Abstract: Model-based verification has been widely used in developing software , especially in development of security critical system and complex system. MBV can find errors earlier to avoid spending much money and time to correct errors later. The papers studied some MBV techniques, mainly focus on techniques of verification of software and introduced some methods and the directions of future study.

中图分类号: 

• TP311.5