Descrição
Fornece suporte de exportação de processos no cálculo Sapic para o cálculo ProVerif em fluxos relacionados ao Tamarin. Isso ajuda a mover modelos de protocolos entre ferramentas de verificação formal.
É útil para pesquisadores de protocolos de segurança que comparam ou reutilizam modelos entre sistemas de verificação. É uma biblioteca especializada para desenvolvedores e depende da cadeia de ferramentas de provadores ao redor.