Viper Project

Verification Infrastructure for Permission-based Reasoning

prusti-dev Public
A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,107 74 144 (5 issues need help) 17 Updated Oct 19, 2022
check-license-header Public
GitHub action to check whether all files have a specified copyright license header

TypeScript 3 0 2 5 Updated Oct 19, 2022
gobra Public
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Scala 62 19 62 8 Updated Oct 19, 2022
silver Public
Definition of the Viper intermediate verification language.

Scala 52 MPL-2.0 27 93 8 Updated Oct 19, 2022
gobra-ide Public
VSCode Plugin for Gobra

TypeScript 6 1 2 0 Updated Oct 19, 2022
viper-ide Public
This is the main repository for the Viper IDE extension for VS Code.

TypeScript 7 MPL-2.0 4 25 2 Updated Oct 19, 2022
viperserver Public
HTTP server that manages verification requests to different tools from the Viper tool stack.

Scala 10 9 2 1 Updated Oct 19, 2022
prusti-assistant Public
VS Code extension to verify Rust programs with the Prusti verifier.

TypeScript 18 MIT 7 6 6 Updated Oct 19, 2022
silicon Public
Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 49 MPL-2.0 23 112 5 Updated Oct 18, 2022
carbon Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.

Scala 24 MPL-2.0 15 140 7 Updated Oct 18, 2022

Pinned