DiFR: Inference Verification Despite Nondeterminism

Open in new window