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.
create-nightly-release
GitHub action to create a new pre-release and delete old pre-releases created by this action
viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
VerifiedSCION
Verifying the SCION architecture using Gobra
vs-verification-toolbox
Useful component to build VS Code extensions for verifiers.
program-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobra
gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
locate-java-home
Locates JAVA_HOME on any platform, and can differentiate between different versions.
axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
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
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"
silver-sif-extension
Extension of the Viper language with modular product programs and information flow specifications