Viper Project

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

Rust 551 60 127 (3 issues need help) 23 Updated Apr 11, 2022
gobra-action Public
Github Action to verify Go code with Gobra directly in a CI workflow

Shell 2 MPL-2.0 0 1 1 Updated Apr 11, 2022
gobra Public
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Scala 33 16 67 12 Updated Apr 11, 2022
carbon Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.

Scala 14 MPL-2.0 12 131 8 Updated Apr 11, 2022
gobra-ide Public
VSCode Plugin for Gobra

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

TypeScript 4 MPL-2.0 3 37 4 Updated Apr 11, 2022
viperserver Public
HTTP server that manages verification requests to different tools from the Viper tool stack.

Scala 6 7 3 1 Updated Apr 11, 2022
voila Public
Voila is proof outline checker for fine-grained concurrency verification

Scala 1 2 53 0 Updated Apr 10, 2022
silicon Public
Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 29 MPL-2.0 18 112 2 Updated Apr 10, 2022
silver Public
Definition of the Viper intermediate verification language.

Scala 31 MPL-2.0 22 98 8 Updated Apr 10, 2022

Pinned