ProVerif Editor 0.2

ProVerif Editor Check and edit protocols specified in SPI-calculus

ProVerif Editor an editor to edit and check protocols specified in SPI-calculus using ProVerif.

Developer comments

If you use the editor please let me know (my email address can be found on my personal SourceForge page). Also please report any bugs or suggestions you might encounter when using the editor.


Product's homepage

Requirements:



· Python

· PyGTK

· pygtksourceview

Download ProVerif Editor 0.2 Free
Tags: check protocols   , protocols editor   , SPI calculus   , ProVerif   , editor   , SPI-calculus   ,
editor, ·, using, please, spi-calculus, specified, protocols, found, using editorproduct's, suggestions might encounter, suggestions might, python, encounter using, might encounter, requirements, bugs, suggestions, encounter, might, report, pygtksourceview, page, pygtk, editorproduct's, homepage