GitHub repository: viperproject/silver-sif-extension
Primary language: Scala
Description: Extension of the Viper language with modular product programs and information flow specifications