Alfa livre de seis meses atrás cansado: especificações de markdown e geração de testes Wired: Métodos formais