%0 Journal Article
%T Approach of model checking based on management for fixed memory and state<br>基于固定内存和状态管理的模型检测方法
%A WU Li-jun
%A LUO Xiang-yu
%A <br>吴立军
%A 骆翔宇
%J 计算机应用研究
%D 2011
%I 
%X The model checking is one of main formal methods. Its main disadvantage is that there is the problem of state explosion and insufficient memory. Though many researchers have done a amount of work, the problem has not been settled well yet. The paper, based on the investigation of the management for fixed memory and state, presents a new approach of model checking, which makes us to finish model checking of any scale system on any computer.
%K the formal method
%K model checking
%K the state explosion
%K management of state and memory<br>形式化方法
%K 模型检测
%K 状态空间爆炸
%K 状态和内存管理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=221F9DDAA83CC29333249F7E05A1616B&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=B31275AF3241DB2D&sid=83988AB6331F63A8&eid=1BA1E8DC899EAC76&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=18