/silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

Primary LanguageScalaMozilla Public License 2.0MPL-2.0

Issues