ProVerif Editor

ProVerif Editor is an editor to edit and check protocol specification in SPI-calculus using ProVerif.

ProVerif Editor is released under the GPLv2 license

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.


The requirements for the ProVerif Editor are:
- ProVerif
- Python
- PyGTK2
- PyGTKSourceView2


You can download the editor here.


Main window

Using the index

Viewing the ProVerif output