Éditeur de Proverif

Vérifiez et modifiez les protocoles spécifiés dans SPI-Calculus
Télécharger maintenant

Éditeur de Proverif Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • GPL
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • Joeri de Ruiter
  • Site Internet de l'éditeur:

Éditeur de Proverif Mots clés


Éditeur de Proverif La description

Vérifiez et modifiez les protocoles spécifiés dans SPI-Calculus Editeur Proverif Un éditeur d'édition et de chèque de protocoles spécifiés dans SPI-Calculus à l'aide de Proverif.Developer CommentairesIful vous utilisez l'éditeur s'il vous plaît laissez-moi savoir (mon adresse e-mail peut être trouvée sur ma page SourceForge personnelle). Veuillez également signaler des bugs ou des suggestions que vous pourriez rencontrer lors de l'utilisation de l'éditeur. Exigences: · Python · Pygtk · Pygtksourceview


Éditeur de Proverif Logiciels associés

Java Access Bridge

Java Access Bridge connecte le support d'accessibilité intégré dans les applications Swing Java au cadre d'accessibilité GNOME. ...

291

Télécharger

À propos de nous