batalhanaval-vev Trabalho da disciplina de Verificação e Validação Equipe: Alysson Alexandre de Oliveira Araujo - 474084 Elano N. Caitano - 473434 Mariana Oliveira Fernandes - 475454