spurious counterexample的意思|示意

美 / / 英 / /

虚假的反例

伪反例这样一种存在于抽象模型但不存在具体模型的反例，我们称之为伪反例（spurious counterexample）。由于伪反例的肯能存在性，因此当我们验证抽象模型出现反例的时候，必须确定反例的真伪性，以用来确保之前的抽象模型是否需要修...