Program Conditioning to Reduce State Space Explosion for Software Model Check

• 用于克服程序状态空间爆炸的条件化预处理