%0 Journal Article
%T 模型检测中状态爆炸问题研究综述
%A 侯刚？
%A 周宽久？
%A 勇嘉伟？
%A 任龙涛？
%A 王小龙？
%J 计算机科学
%D 2013
%X 模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。
%K 软件系统
%K 模型检测
%K 状态空间爆炸
%K 形式化验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20136A0018&flag=1