Silver is the intermediate verification language of the Viper project by Programming Methodology Group at the Department of Computer Science, ETH Zurich.

Instructions for how to get started with Viper can be found here.

Files for LaTeX and various editors can be found under silver/util/highlighting directory.