%0 Journal Article
%T 软件模型检测中的抽象
%A 袁志斌 徐正权 王能超？
%J 计算机科学
%D 2006
%X 软件模型检测对保证软件的正确性和可靠性具有十分重要的意义，而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术，介绍了该领域的进展及研究方向。
%K 软件模型检测抽象技术状态爆炸
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22322535&flag=1