Go Program Analysis and Verification
We are building a program analysis environment for the Go programming language using both Rascal and Maude.
Potential Projects I am looking to work with students on the following projects related to this.
Sep 22, 2024