viperproject/carbon

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

ScalaStars 34Forks 23Watchers 34Open issues 159License Mozilla Public License 2.0

Details

仓库信息

Ownerviperproject

Homepage—

Last pushed2025-12-01

Last updated2025-12-15

Issues fetched at—

Community at a glance