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).
The requirements for the ProVerif Editor are:
The editor can be downloaded here.
Using the index
The ProVerif output