ProVerif Editor
ProVerif Editor is an editor to edit and check protocol specification in the applied pi-calculus using ProVerif. The editor is released under the GPLv2 license. If you find any bugs or have comments please let me know (my email address can be found on my personal page).
Requirements
The requirements for the ProVerif Editor are:
Downloads
The editor can be downloaded here.
Screenshots
Main window
Using the index
The ProVerif output
