tdardinier/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
IsabelleMPL-2.0
No issues in this repository yet.
Verification-condition-generation-based verifier for the Viper intermediate verification language.
IsabelleMPL-2.0
No issues in this repository yet.