ZOYKUHot Board
AllzeitWocheMonatRookiesSteigungGeheimtippsUnterschätztKontroverseFork-KönigeMeilensteine
GitHub Hot/viperproject/silver/Dokumentation
Zurück zur ÜbersichtGitHub-Quelle

viperproject/silverDokumentation

Definition of the Viper intermediate verification language.

Inhaltsverzeichnis (2 Abschnitte)▾
Quick StartSyntax Highlighting
Sprach-Hinweis:Es ist keine lokalisierte Dokumentation verfügbar. Es wird das offizielle englische Original angezeigt.
Schnellinstallation
git clone https://github.com/viperproject/silver.git

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.

Dokumentationsspiegel archiviert aus dem offiziellen GitHub-Repository · GitHub-Repository aufrufen
Snapshot-Datum: 2026-11-07