/carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Primary LanguageIsabelleMozilla Public License 2.0MPL-2.0

No issues in this repository yet.