modd checking

英 美
  • 模型检测
  • checking n.校核;检验;核算;验算动词check的现在分词形式.
    1. When the throughness is not satisfied by the workflow, model checking can give a counterexample which can guide us to correct the workflow.
      同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。