verification-condition-generation topic
List
verification-condition-generation repositories
carbon
29
Stars
20
Forks
Watchers
Verification-condition-generation-based verifier for the Viper intermediate verification language.
