====== 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.