Software & Media
Download Verifpal® Software
Verifpal is available for all popular operating systems via package managers as well as direct binary downloads. It is recommended to install Verifpal via a package manager if possible, since that will guarantee
automatic future updates. The latest version of Verifpal is x.x.xx.
Verifpal is free and open source software: 🧪Verifpal Source Repository.
Don't forget your copy of the Verifpal User Manual! It's always up to date with accessible information on how to get started with Verifpal, example models, insight into how Verifpal analysis works, as well as three full examples illustrating modeling and analysis of real-world protocols. Plus, there's an entire manga where Verifpal goes on an adventure against the evil Mayor N. D. Middle!
Verifpal is Experimental Software
Verifpal is still highly experimental software. Using it in a classroom or learning environment is welcome, but it should not yet be relied upon for academic formal verification work. For that, check out ProVerif.
Install Via Package Managers
On Windows, you can use the Scoop package manager. On Linux, Verifpal is available via the Snap Store. On Linux and macOS, you can use
the Homebrew package manager.
# Scoop instructions for Windows:
scoop bucket add verifpal https://source.symbolic.software/verifpal/verifpal.git
scoop install verifpal
# Snap instructions for Linux:
sudo snap install verifpal
# Homebrew instructions for Linux and macOS:
brew tap verifpal.com/source https://source.symbolic.software/verifpal/verifpal
brew install verifpal
Pre-built binaries are also available for popular desktop operating systems:
Verifpal for Visual Studio Code is an extension that provides IDE features for the Verifpal protocol modeling and analysis software within the popular Microsoft Visual Studio Code editor. It is an official extension that is developed and maintained by the Verifpal project. This cool video showcases its features:
A 📄Verifpal Scientific Paper is available for those interested in the project’s technical and research motivations.