- 👋 Hi, I’m @cedihegi
- Student at ETH Zürich
- you can reach me at [email protected]
cedihegi / silicon Goto Github PK
View Code? Open in Web Editor NEWThis project forked from viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
License: Mozilla Public License 2.0