Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code.

Stefania Piciorea, ThanhVu Nguyen

Browse the full ISSTA paper archive.