El modelo corre en su totalidad...entre en la fase de pruebas y verificaciones formales