KOYFMAN ANATOLY ALBERT

Verification of speculative execution