Representações Formais como Forma de Evidência de Auditoria