Software de verificação de conflitos