TLA+ for Visual Studio Code
This extension adds support for the TLA+ formal specification language to VS Code. It also supports running the TLC model checker on TLA+ specifications.
The project's Wiki provides information on how to install, configure and use the extension.
If you're not familiar with TLA+, but want to get a grasp on it, the following list of resources is a good starting point: