viperproject Goto Github PK

locate-java-home

Locates JAVA_HOME on any platform, and can differentiate between different versions.

mendel-verifier

Capability-based verifier for safe Rust clients of interior mutability

ouroboros

program-proofs-gobra

Examples and exercises from the book Program Proofs translated to Gobra

protocol-verification-refinement

Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"

prusti-action

GitHub Action to verify Rust code using the Prusti verifier.

prusti-assistant

VS Code extension to verify Rust programs with the Prusti verifier.

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

prusti-perf

Website for graphing performance of rustc

reachability-verification

Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logic

reusableprotocolverificationlibrary

rust

A safe, concurrent, practical language.

rust-contracts

rust-life

Simple explanations for some complex Rust lifetime errors.

rust-pcs

rustc-plugin

A framework for writing plugins that integrate with the Rust compiler

sample

securityprotocolimplementations

Artifact for the paper "A Generic Methodology for the Modular Verification of Security Protocol Implementations"

silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

silicon-sif-extension

Extension of Silicon for product programs, in particular product program counterexample transformation

silver

Definition of the Viper intermediate verification language.

silver-multisets

An alternative encoding of multisets based on Dafny's encoding in Boogie.

silver-sif-extension

Extension of the Viper language with modular product programs and information flow specifications

termination-plugin

A Viper plugin for proving termination.

tutorial

This 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.

vdc-query-frontend

verifiedscion

Verifying the SCION architecture using Gobra

viper-data-collection

viper-ide

This is the main repository for the Viper IDE extension for VS Code.

viper-ide-deps

This is the template repository for binary dependencies for Viper IDE. Created for automating the ViperTools package creation via Jenkins. Related: https://github.com/viperproject/viper-ide