Viper Project's repositories
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).
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
create-nightly-release
GitHub action to create a new pre-release and delete old pre-releases created by this action
VerifiedSCION
Verifying the SCION architecture using Gobra
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
vs-verification-toolbox
Useful component to build VS Code extensions for verifiers.
locate-java-home
Locates JAVA_HOME on any platform, and can differentiate between different versions.
gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
gobra-mode
Support for Gobra in emacs
program-proofs-prusti
Examples and exercises from the book Program Proofs translated to Prusti
silver-oxide
A Rust parser for Viper
silver-sif-extension
Extension of the Viper language with modular product programs and information flow specifications
protocol-verification-refinement
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
SecurityProtocolImplementations
Artifact for the paper "A Generic Methodology for the Modular Verification of Security Protocol Implementations"
viper-libs
Standard library for Viper