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 contributions from the VDM community, most notably:

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

Thank you so much!