Diagnostic Information Generation in Model Checking Value-Passing Processes

• 传值进程模型检测中诊断信息的生成