Verifpal for Visual Studio Code
What is Verifpal for Visual Studio Code?
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. Verifpal for Visual Studio Code requires Verifpal 0.13.0 or higher to be installed for all functionality to work correctly.
To install Verifpal for Visual Studio Code, simply search for it within the extensions search functionality of your Visual Studio Code Editor.
Syntax highlighting will be available immediately on
Hovering over primitives (such as
In order to show a diagram visualizing your protocol, open the Visual Studio Code Command Palette (
In order to launch an analysis, open the Visual Studio Code Command Palette (
Verifpal for Visual Studio Code may be configured via the following options in your Visual Studio Code User Settings file:
Note: If you have installed Verifpal via the Snap Store, you will need to set
Sign up to the Verifpal Mailing List to stay informed on the latest news and announcements regarding Verifpal, and to participate in Verifpal discussions.
Verifpal and Verifpal for Visual Studio Code are published by Symbolic Software. They are provided as free and open source software, licensed under the GNU General Public License, version 3. The Verifpal User Manual is provided under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) license.
© Copyright 2019-2021 Nadim Kobeissi. All Rights Reserved. “Verifpal” and the “Verifpal” logo/mascot are registered trademarks of Nadim Kobeissi.