布尔程序相关论文
本文旨在研究软件模型检测及其工具实现，包括模型的表示、检测的算法、实现方案、案例分析和如何与软件开发过程相结合等问题。......
谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓......
