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.
