a verificação formal não vai te salvar! a especificação pode ter bugs!!
5,6K