Automatic software verification methods | Apuntes, ejercicios y exámenes resueltos