This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
The technology of model checking based on mission flow is discussed in this paper.
对任务流模型检验技术进行了讨论。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
应用推荐