QED은 메모리 일관성 모델 준수를 위해 관찰 가능성에 기반한 검증 방법을 제안한다. 이를 통해 메모리 명령어 간 순서 관계와 외부 이벤트 간 순서 관계를 효과적으로 고려할 수 있어 확장성을 확보할 수 있다.
