ZOYKUHot Board
HistóricoSemanalMensualNuevosSubidaTapadosIgnoradasPolémicaRey del ForkHitos
GitHub Hot/viperproject/silver/Documentación
Volver a métricasFuente GitHub

viperproject/silverDocumentación

Definition of the Viper intermediate verification language.

Tabla de contenidos (2 secciones)▾
Quick StartSyntax Highlighting
Aviso de idioma alternativo:No hay documentación localizada disponible. Mostrando el original en inglés oficial.
Instalación rápida
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.

Espejo archivado desde el repositorio oficial de GitHub · Visitar en GitHub
Fecha de captura: 2026-11-07