Viper Project
Change the repository type filter
All
Repositories list
86 repositories
- HTTP server that manages verification requests to different tools from the Viper tool stack.
- Symbolic-execution-based verifier for the Viper intermediate verification language.
carbon
PublicVerification-condition-generation-based verifier for the Viper intermediate verification language.- Definition of the Viper intermediate verification language.
- This is the main repository for the Viper IDE extension for VS Code.
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
VerifiedSCION
Publicvs-verification-toolbox
Publicprusti-assistant
PublicVS Code extension to verify Rust programs with the Prusti verifier.gobra-libs
Publicverified_go_stdlib
Publicprogram-proofs-gobra
Publicprusti-dev
PublicA static verifier for Rust, based on the Viper verification infrastructure.silver-oxide
Publiccheck-license-header
Publictutorial
PublicThis repo contains the sources of the official Viper tutorial. Feel free to submit your fixes and additions via pull requests. Please report technical issues vi…gobra-action
PublicGithub Action to verify Go code with Gobra directly in a CI workflowcreate-nightly-release
Publicgobra-book
Publicsilver-sif-extension
Public archivediodon-artifact
PublicArtifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26)smt-scope
PublicSMTscope automatically analyses and visualises SMT solver execution traces.- Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
carbon-fork-peibensteine
Publicsilver-fork-peibensteine
Publicvpr-mode
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.