Ejercicios en #Métodos Formales para la Ingeniería del Software