...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 软件模型检测
Model Checking Based Testing 基于模型检查的测试
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
The drawbacks of the determination of equivalent mutants and the automatic generation of the test-cases in mutation analysis can be improved through the introduction of model-checking technology.
通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。
This is similar to what is known as model checking.
这与我们所知道的模型检测相似。
The technology modes of Business Modeler perform deeper error checking on the model.
Business Modeler的技术模型对模型执行更为深入的错误检查。
应用推荐