Son simulaciones del comportamiento de un algoritmo que permiten determinar la validez del mismo, corresponde a la fase de verificación.