基于模型的验证及其方法

摘要：

基于模型的验证(Model-based Verification)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要.MBV侧重于在开发的早期找出错误,从而避免时间、金钱的耗费及重复性的劳动.在研究各种MBV技术的基础上,着重于软件系统的模型验证方法,对各种方法作了基本的介绍,并总结了发展方向.

关键词：模型验证、模型检测、SMV、SPIN

所属期刊栏目：27

分类号：TP311.56(计算技术、计算机技术)

资助基金：云南省自然科学基金98005G;云南省中青年学术与技术带头人培养基金1 998-37

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：45-46