área de pesquisa Alocação de Redes Virtuais Baseada em Otimização de Restrição Distribuída ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM Juliana Marino Balera Lennon Corrêa Chaves Odorico Machado Mendizabal Veri caçãode Código SQL Usando Veri cação de Modelos
