#formal methods
PVS-8
paolomasci
Integrates the PVS theorem proving system into Visual Studio Code
Programming Languages
#keybindings
83
Maude LSP
kmz
Maude language support (syntax highlighting, folding, diagnostics, outline, go-to-definition, hover, completion) via a Language Server.
Programming Languages
Linters
#LSP
12
Cope and Drag for Alloy
SiddharthaPrasad
Pairs the Alloy Analyzer with the Cope and Drag visualizer in a VS Code webview.
Programming Languages
Visualization
#formal methods
5
Event-B (Rossi)
rossi
Event-B language support: syntax highlighting, diagnostics, formatting, navigation, and Rodin import/export, powered by the Rossi toolchain.
Programming Languages
Linters
#keybindings
4
LemmaScript for VS Code
midspiral
Syntax highlighting for LemmaScript contracts in TypeScript — and (later) a viewer for verification results.
Programming Languages
#typescript
4
Raven Verifier
nyu-acsys
VSCode integration of the Raven language and verifier.
Programming Languages
#keybindings
3