Descrição
Fornece suporte de manipulação de termos para o Tamarin prover. Manipulação de termos é central para representar mensagens de protocolo, equações, fatos e estruturas de raciocínio simbólico.
É útil para ferramentas de verificação formal em torno de protocolos de segurança e análise simbólica de protocolos. É uma biblioteca especializada para desenvolvedores e não um ambiente de modelagem voltado ao usuário por si só.