ZOYKUHot Board
Tous tempsHebdoMensuelRévélationsMontéeOutsidersMéconnusControverseRois du forkJalons
GitHub Hot/viperproject/silver/Documentation
Retour aux métriquesSource GitHub

viperproject/silverDocumentation

Definition of the Viper intermediate verification language.

Table des matières (2 sections)▾
Quick StartSyntax Highlighting
Avis de repli linguistique :La documentation localisée n'est pas disponible. Affichage de la version originale officielle en anglais.
Installation rapide
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.

Miroir archivé depuis le dépôt GitHub officiel · Voir sur GitHub
Date du snapshot : 2026-11-07