Descrição
Protocolos criptográficos podem ser modelados e verificados com um assistente de prova focado em propriedades de segurança. O pacote Git compila o provador Squirrel a partir do código upstream atual e instala o comando `squirrel` com teorias, exemplos e utilitários. Ele é voltado a pesquisadores e engenheiros de protocolo que entendem métodos formais.