Tag: Formal Methods
Found 3 extensions tagged with "Formal Methods".
Formal Methods related extensions
-
PVS 1.0.65 VSIX File for VS Code
Integrates the PVS theorem proving system into Visual Studio Code ...
-
Viper 4.3.1 VSIX File for VS Code
This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning). ...
-
Imandra IDE 0.5.2 VSIX File for VS Code
Imandra (ReasonML/OCaml) reasoning studio ...