Java程序模型检查方法与实现框架

软件模型检查技术是当前软件可靠性研究领域的一个研究热点,可以补充测试技术之不足。介绍了基于流分析的模型检查技术,以及基于这种技术所提出的一种Java程序模型检查方法,通过一个Java程序的实验说明流分析工具的效用。