Describir: Verificación formal de algoritmos :