Alpha gratuit de acum șase luni obosit: specificații markdown și generarea testelor Wired: Metode formale