New Approach of Model Checking Based on Management for Dynamic Memory and State
Qingliang Chen · 2011
The model checking is one of main formalization methods.However there is the problem about state explosion and insufficient memory,which is bottleneck of verification of large scale systems.Though many researchers have done 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,presented a new approach of model checking,which avoids the problem that model checking can not proceed because of insufficient memory.