author: Sebastiaan Joosten
title: Create a VerCors plugin for VSCode
keywords: VerCors, VSCode Plugin
topics: Creative , Software Technology
committee: Marieke Huisman


VerCors is a command-line tool for verifying concurrent programs. However, concurrent programs are typically not written on the command-line, they are written in a text-editor, like VSCode. Therefore, it would be convenient if the verification of those programs can also be done within VSCode. This requires making some changes to VerCors such that it can be used as a plugin. An example of how this could look is available: Viper, the backend of VerCors, already has a nice VSCode plugin.