전통적인 중복성 (Redundancy) 기법 (Lockstep, TMR)은 동일한 메모리 레이아웃을 가진 동일한 바이너리를 실행합니다. 상관관계가 있는 단일 결함(Correlated fault) — 예를 들어, 모든 복제본(Replica)에서 발생하는 임의의 프로그램 카운터 (Program Counter, PC) 값이나 섭동 델타-PC (Perturbation delta-PC) — 은 모든 복제본을 동일한 잘못된 경로로 유도합니다. 이는 데이터 포인터 (Data pointer)의 손상에도 동일하게 적용됩니다. 이러한 두 가지 유형의 결함은 그 기원(의도적인 변조, 소프트웨어 버그, 컴파일 버그 또는 물리적 교란)에 관계없이 침묵하는 데이터 손상 (Silent Data Corruption, SDC)과 잘못된 프로그램 실행을 유발합니다. 본 연구에서는 다양화된 실행 (Diversified executions)을 위한 런타임 의미론적 일관성 검증기 (Runtime semantic consistency verifier)인 Divergent Multi-Version Execution (DME)을 제시합니다. 각 복제본은 독립적으로 컴파일되어, 동일한 의미론 (Semantics)을 유지하면서도 서로 다른 코드 및 데이터 메모리 레이아웃을 생성합니다. 결함은 레이아웃에 의존적인 주소 (Layout-dependent addresses)는 제외하고, 연산 코드 (Opcode), 레지스터 식별자 (Register identifiers), 로드/스토어 값 (Loaded/stored values) 및 결과값을 포함하는 표준 명령어 추적 (Canonical instruction traces)을 비교함으로써 탐지됩니다.