Software & Media
Download Verifpal Software
Verifpal is available for Windows, Linux, macOS and
Linux and macOS, you can use the Homebrew package manager:
brew tap verifpal.com/source
brew install verifpal
Pre-built binaries are also available for popular desktop operating systems:
Verifpal is free and open source software: 🧪Verifpal Source Repository.
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.
Verifpal User Manual is an essential guide to getting started with cryptographic protocol analysis using Verifpal. The manual contains instructions on how to get started with Verifpal, example models, insight into how Verifpal analysis works, as well as two full examples illustrating modeling and analysis of the Signal secure messaging protocol and the Scuttlebutt decentralized gossip protocol in Verifpal.
Verifpal User Manual also contains a full-color manga where Verifpal goes on an adventure! Click the User Manual cover to download your copy.
Buying physical copies: hardcover, full-color copies of the Verifpal User Manual are also available for purchase on Amazon: Amazon France, Amazon UK, Amazon Germany, Amazon Spain, Amazon Italy, Amazon USA.
A 📄Verifpal Scientific Paper is available for those interested in the project’s technical and research motivations.