...omata with stopwatch observers-在模型检查定时自动秒表观察员-知来数据 Key words: Weighted timed automata, model-checking, bisimulations. 1 [gap=277]关键词：加权时间自动机，模型检查，互模拟。
基于16个网页-相关网页
Model Checking 模型检测 ; 模型置信度 ; 模型检验 ; [自] 模型校验
Symbolic Model Checking 符号模型检测 ; 符号模型检验 ; 符号化模型检测 ; 符号模型检查
Bounded Model Checking 有界模型检测 ; 有界模型检验方法
Formal Model Checking 形式模型检查
Model Checking Software 模型检验软件 ; 模型检查软件
Model-checking Tool 模型检测工具
Model Checking for Software 软件模型检测
software model checking 软件模型检测
By case study, we demonstrate the heuristic algorithm can find the potential errors effectively and return responding diagnostic information, especially for large systems that are difficult to be verified by normal model-checking tool.
实例研究表明，对标准的模型检测工具无法处理的大型系统，本文所提出的方法能以较好的概率发现隐藏的错误，并给出相应的诊断信息。
参考来源 - 基于反例搜索的启发式模型检测算法的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
应用推荐