A auditoria de processos de negócios é um tema de relevância crescente naliteratura. No entanto, técnicas tradicionais e manuais demonstram-se insatisfatóriasou insuficientes, visto que as mesmas são custosas, podem ser tendenciosas epassíveis de erros, além de envolverem grande quantidade de recursos temporais,humanos e materiais. Nesse sentido, o presente estudo vem demonstrar como atécnica de process mining pode ser utilizada, de forma automática, na auditoria deprocessos governamentais, a partir de um sistema de informação e de umaferramenta de mining denominada ProM. A partir de técnicas de verificação deconformidade, realizou-se a comparação entre os processos reais e seusrespectivos modelos oficiais de uma instituição governamental. Os resultadosobtidos demonstram algumas divergências entre eles, e indicam que a técnica podeser utilizada como um meio auxiliar na realização de auditoria de processos denegócios.