Applying Program Conditioning to Reduce State Space for Software Model Checking

• 程序条件化用于软件模型检测中的状态空间缩减