Viper Project
Viper Project
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
axiom-profiler
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
bitbucket-issue-migration
Scripts for the migration from Bitbucket to GitHub.
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).