https://github.com/viperproject/silver

Definition of the Viper intermediate verification language.
https://github.com/viperproject/silver

programming-language verification viper

Last synced: 5 months ago
JSON representation

Definition of the Viper intermediate verification language.

• Host: GitHub
• URL: https://github.com/viperproject/silver
• Owner: viperproject
• License: mpl-2.0
• Created: 2020-02-20T10:50:46.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2025-05-06T15:01:24.000Z (5 months ago)
• Last Synced: 2025-05-06T16:34:40.453Z (5 months ago)
• Topics: programming-language, verification, viper
• Language: Scala
• Homepage:
• Size: 28 MB
• Stars: 85
• Watchers: 8
• Forks: 47
• Open Issues: 118
• Metadata Files:
  • Readme: README.rst
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
======

Silver

======

Silver is the intermediate verification language of the

`Viper project `_ by

`Programming Methodology Group `_

at the Department of Computer Science, ETH Zurich.

Quick Start

===========

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

Syntax Highlighting

===================

Files for LaTeX and various editors can be found under

``silver/util/highlighting`` directory.