中文会议： 广西计算机学会2008年年会论文集

会议日期： 2008-09-01

会议地点： 广西北海

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 桂林电子科技大学计算机科学与工程学院计算机科学与技术系

出　　处： 《广西计算机学会2008年年会》

摘　　要： 模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到了广泛的应用,其主要缺陷是状态爆炸问题。阐述了模型检测的基本思想和相关理论,给出一些处理状态爆炸问题的优化技术,并与其它验证方法进行了比较,最后简单对模型检测新进展的研究热点和现状进行了分析和介绍。

关 键 词： 模型检测 状态爆炸 形式验证 时态逻辑 优化策略 有限状态系统

分 类 号： [TP]

领　　域： [自动化与计算机技术]