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).


The requirements for the ProVerif Editor are:


The editor can be downloaded here.


Main window
Screenshot of main window

Using the index
Screenshot of index

The ProVerif output
Screenshot of ProVerif output