ProVerif Editor 0.2

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎2 ‎Votos

Um editor para editar e verificar protocolos especificados no SPI-calculus usando o ProVerif.

história da versão

  • Versão 0.2 postado em 2010-01-08
    Várias correções e atualizações
  • Versão 0.2 postado em 2010-01-08

Detalhes do programa