Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code. - Stefania Piciorea; ThanhVu Nguyen (ISSTA Companion, 2025)