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.