这样一种存在于 抽象模型但不存在具体模型的反例，我们称之为伪反例（spurious counterexample）。由于伪反例的肯能存在性，因此当我们验证抽象模型出现反 例的时候，必须确定反例的真伪性，以用来确保之前的抽象模型是否需要修...
基于12个网页-相关网页
spurious counterexample
虚假的反例
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动