Verificação Automática de Programas pela Monitoração da Execução de Código: um Estudo de Caso de sua Aplicação de um Protocolo de Controle de Fluxo Adaptativo Documento