bijection-inducing hyperproperty
전단사 유도 하이퍼프로퍼티(bijection-inducing hyperproperty)
원래 문제의 정답군과 변형 문제의 정답군 사이에 일대일 대응을 만들도록 설계된 관계 φ이다. 이 성질은 올바른 해답이 변환 후에도 올바름을 유지하도록 보장한다. 따라서 서로 다른 오류는 변환 후 서로 다른 오류로 대응되어 불일치로 탐지된다.
전단사 유도 하이퍼프로퍼티(bijection-inducing hyperproperty)
원래 문제의 정답군과 변형 문제의 정답군 사이에 일대일 대응을 만들도록 설계된 관계 φ이다. 이 성질은 올바른 해답이 변환 후에도 올바름을 유지하도록 보장한다. 따라서 서로 다른 오류는 변환 후 서로 다른 오류로 대응되어 불일치로 탐지된다.
