Una instrucción "S2" posee dependencia verdadera o de flujo respecto de "S1" (expresado como formula_2) si y solo si "S1" modifica un recurso que "S2" lee y "S1" precede a "S2" en el orden de ejecución.