Artículo.
posición de bit, un error puede ocurrir o no — codificado a través de una declaración nondet_choice. El valor CRC-16 para la carga útil perturbada se calcula nuevamente. Se espera que los valores de CRC para la carga original y la perturbada sean diferentes en todos los casos considerados, que se