There are no reviews yet. Be the first to send feedback to the community and the maintainers!
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.silver
Definition of the Viper intermediate verification language.2vyper
A static verifer for Ethereum Smart Contracts written in Vypercarbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.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.bitbucket-issue-migration
Scripts for the migration from Bitbucket to GitHub.viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.create-nightly-release
GitHub action to create a new pre-release and delete old pre-releases created by this actionviper-ide
This is the main repository for the Viper IDE extension for VS Code.gobra-ide
VSCode Plugin for Gobrarust-contracts
rust-life
Simple explanations for some complex Rust lifetime errors.VerifiedSCION
Verifying the SCION architecture using Gobracheck-license-header
GitHub action to check whether all files have a specified copyright license headervs-verification-toolbox
Useful component to build VS Code extensions for verifiers.axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).jni-gen
Generate Rust wrappers for Java/Scalaprogram-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobraviper_client
prusti-action
GitHub Action to verify Rust code using the Prusti verifier.mendel-verifier
Capability-based verifier for safe Rust clients of interior mutabilitytermination-plugin
A Viper plugin for proving termination.gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.gobra-action
Github Action to verify Go code with Gobra directly in a CI workflowlizard
Lizard is the visual verification debugger for Viper IDEreachability-verification
Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logicsilver-multisets
An alternative encoding of multisets based on Dafny's encoding in Boogie.viper-runner
voila
Voila is proof outline checker for fine-grained concurrency verificationviper-linux-dev-docker
Docker image for developing Viper https://github.com/viperproject/ See also https://github.com/viperproject/viper-linux-devviper-linux-dev
Environment for developing Viper under Linux.gobra-mode
Support for Gobra in emacsgorac
vpr-mode
Viper mode for emacsLove Open Source and this site? Check out how you can help us