GitHub repository: viperproject/silicon
Primary language: Scala
Created: 2020-02-19T09:58:15Z
Description: Symbolic-execution-based verifier for the Viper intermediate verification language.