Una instrucción "S2" es antidependiente de "S1" (expresado como formula_3) si y solo si "S2" modifica un recurso que "S1" lee y "S1" precede a "S2" en el orden de ejecución.