Definition of the Viper intermediate verification language.
Scala
100
4,113 commits
updated Sep 17, 2026
README
====== Silver ====== Silver is the intermediate verification language of the `Viper project <http://www.pm.inf.ethz.ch/research/viper.html>`_ by `Programming Methodology Group <http://www.pm.inf.ethz.ch/>`_ at the Department of Computer Science, ETH Zurich. Quick Start =========== Instructions for how to get started with Viper can be found `here. <http://www.pm.inf.ethz.ch/research/viper/downloads.html>`_ Syntax Highlighting =================== Files for LaTeX and various editors can be found under ``silver/util/highlighting`` directory.
Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.
programming-language
verification
viper
Contributors
(top 30 of 55)
Languages
Scala
99.4%
Definition of the Viper intermediate verification language.
Scala
100
4,113 commits
updated Sep 17, 2026
README
====== Silver ====== Silver is the intermediate verification language of the `Viper project <http://www.pm.inf.ethz.ch/research/viper.html>`_ by `Programming Methodology Group <http://www.pm.inf.ethz.ch/>`_ at the Department of Computer Science, ETH Zurich. Quick Start =========== Instructions for how to get started with Viper can be found `here. <http://www.pm.inf.ethz.ch/research/viper/downloads.html>`_ Syntax Highlighting =================== Files for LaTeX and various editors can be found under ``silver/util/highlighting`` directory.
Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.
programming-language
verification
viper
Contributors
(top 30 of 55)
Languages
Scala
99.4%