This paper reviewed some prevalent trends in this domain in recent years, then proposed a software model checking scenario, which was based on hierarchical unit partition and heuristic search.

• 通过对近年来软件模型检测领域流行的几种技术进行综述，提出了一种基于层次单元划分，使用引导式搜索方式的软件模型检测方案。