No dejes que Dafny lo haga todo por ti. Un McFly debe saber derivar o verificar paso a paso un algoritmo. Cada equipo debe elegir un ejercicio distinto de los apuntes del tema 3: 15,16,17,18,20,21,22.a,22.b,23,24,26,28. Sin usar Dafny, especifica, deriva o verifica con detalle un algoritmo que resuelva el problema, y proporciona el coste de manera justificada. Cartas que puedes usar: Top secret, Limite 24 horas, Limite 48 horas, Second chance.