Tag: verification
Found 5 extensions tagged with "verification".
verification related extensions
-
Gobra IDE 2.0.0 VSIX File for VS Code
This extension provides interactive IDE features for verifying programs in Gobra. ...
-
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). ...
-
Prusti Assistant 0.12.7 VSIX File for VS Code
Verify Rust programs with the Prusti verifier. ...