Ejercicios-Verificacion-formal.pdf