GitHub repository: viperproject/carbon
Primary language: Scala
Created: 2020-02-19T10:06:29Z
Description: Verification-condition-generation-based verifier for the Viper intermediate verification language.