一种改进的验证工作流控制逻辑正确性的方法

• An Improved Method to Verify Soundness of Workflow Control Logic