Change the repository type filter
All
Repositories list
73 repositories
axiom-profiler-2
PublicThe axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).gobra-ide
Publicpcg
Publicsilicon
PublicSymbolic-execution-based verifier for the Viper intermediate verification language.carbon
PublicVerification-condition-generation-based verifier for the Viper intermediate verification language.silver
PublicDefinition of the Viper intermediate verification language.prusti-dev
PublicA static verifier for Rust, based on the Viper verification infrastructure.viper-ide
PublicThis is the main repository for the Viper IDE extension for VS Code.VerifiedSCION
Publicviperserver
Publicvs-verification-toolbox
Publicgobra
Publiclocate-java-home
Publicviper-libs
Publicprusti-assistant
PublicVS Code extension to verify Rust programs with the Prusti verifier.create-nightly-release
Publicsilver-oxide
Publicsilver-sif-extension
Publicvpr-mode
Publicgobra-mode
Publicgobra-libs
Publicmendel-verifier
PublicCapability-based verifier for safe Rust clients of interior mutabilityaxiom-profiler
Publictutorial
PublicThis repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.program-proofs-prusti
Publicviper-data-collection
Publicgobra-action
PublicGithub Action to verify Go code with Gobra directly in a CI workflowvdc-query-frontend
Public- Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"