VeGo: Direct Deductive Formal Verification of Go Programs for Computer Science Education

Tina Massoudi, Chris Dutchyn

As formal methods are rapidly becoming accessible and practical due to AI coding agents, priority passes to assisting developers and students in generating specifications. Leveragi…