ZOYKUHot Board
МастодонтыВсплескВолнаСвежакВзлётТёмные лошадкиНедооценённыеРаздорФоркиРубежи
GitHub Hot/viperproject/silver/Документация
К метрикамИсходный код

viperproject/silverДокументация

Definition of the Viper intermediate verification language.

Содержание (2 разделов)▾
Quick StartSyntax Highlighting
Языковое уведомление:Перевод на данный язык отсутствует. Отображается официальный английский оригинал.
Быстрая установка
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.

Зеркало документации архивировано из официального репозитория GitHub · Перейти на GitHub
Дата снимка: 2026-11-07