Home

VDM VSCode is an extension for Visual Studio Code, which provides a complete environment for the development and testing of VDM specifications.

This wiki provides an overview of the extension's features and a guide to how to perform the most common development tasks. We recommend that new users start with the Getting Started page, which describes how to install the extension and work with VDM projects.

The project has been made possible by many contributors from the VDM community, most notably:

• Jonas K. Rask @jonaskrask
• Frederik P. Madsen @FrederikPM
• Nick Battle @nickbattle
• Hugo D. Macedo @idhugoid
• Leo Freitas @leouk
• Carlo Rende @c4rlo14

Thank you so much!