Tag: separation logic
Found 2 extensions tagged with "separation logic".
separation logic related extensions
-
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). ...
-
WISL Language Server 0.3.1 VSIX File for VS Code
WISL Coloring and Analysis using Separation Logic ...