When the software is failure, a model checker will automatically produce a counterexample, this counterexample show some abnormal behavior.
当软件失效后,一个模型检查器将自动产生一个反例,这个反例表现出不正常的行为。
参考来源 - 基于错误解释的故障定位方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
N-UNCOUNT Checkers is the same as . 同draughts [美国英语]
N-COUNT A checker is a person or machine that has the job of checking something. 检验员; 检验器
Modern word processors usually have spelling checkers and even grammar checkers.
现代文字处理器通常有拼写检验器甚至语法检验器。
N-COUNT a cashier, esp in a supermarket (超市里的)收银员 [美国英语]
词组短语
应用推荐