GitHub repository: viper-admin/silicon
Primary language: Scala
Description: Symbolic-execution-based verifier for the Viper intermediate verification language.