%0 Journal Article
%T 基于动态内存和状态管理的模型检测新方法
%A 吴立军
%A 骆翔宇
%A 陈清亮？
%J 计算机科学
%D 2011
%X 模型检测是并发系统验证的主要形式化方法之一，但其存在因状态空间爆炸而导致内存不够的问题，这也是大规模并发系统验证的瓶颈。很多研究人员尽管做了很多相关研究，但仍然没有很好地解决这个问题。在研究动态内存和状态管理的基础上，提出了一种新的模型检测方法，避免了因为内存不足而无法模型检则的问题。
%K 形式化方法
%K 模型检测
%K 状态空间爆炸
%K 状态和内存管理
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111143&flag=1