An Improved Method to Verify Soundness of Workflow Control Logic

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