Author

T. Massoudi

h-index 0 View on Semantic Scholar

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

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

This work presents VeGo (Verified Go), a deductive formal verification system that enables direct verification of standard Go source code and formalizes contract-precision checking (weakest precondition vs. strongest postcondition) using an explicit analogy to type inference.

T. Massoudi, Christopher Dutchyn · 0 citations