- β€οΈ Formal Methods, Programming Languages, Concurrency, Distributed Systems
- π Ph.D. student in the Programming Methodology Group at ETH ZΓΌrich
- π« Check my website for contact info
jcp19 / gobra Goto Github PK
View Code? Open in Web Editor NEWThis project forked from viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Home Page: https://www.pm.inf.ethz.ch/research/gobra.html
License: Other