Symbolic-execution-based verifier for the Viper intermediate verification language.
Primary LanguageScalaMozilla Public License 2.0MPL-2.0
No one’s star this repository yet.