Describir: Verificación de programas y metodología de la programación /