https://marketplace.visualstudio.com/items?itemName=symbolicsoft.verifpal
Verifpal - Visual Studio Marketplace
Extension for Visual Studio Code - Verifpal language support.
visual studioverifpalmarketplace
https://verifpal.com/
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
Verifpal is free and open source software for the analysis and verification of cryptographic protocols. It uses a new, simple language for modeling protocols,...
protocol analysisfor studentsverifpalcryptographicengineers