#nondeterminism

Nondeterminism 제거를 통한 시스템 실행 경로의 단일화 및 신뢰성 확보

When Systems Disagree with Themselves