viperproject Goto Github PK
Name: Viper Project
Type: Organization
Bio: Verification Infrastructure for Permission-based Reasoning
Location: ETH Zurich
Blog: viper.ethz.ch
Name: Viper Project
Type: Organization
Bio: Verification Infrastructure for Permission-based Reasoning
Location: ETH Zurich
Blog: viper.ethz.ch
Locates JAVA_HOME on any platform, and can differentiate between different versions.
Capability-based verifier for safe Rust clients of interior mutability
Examples and exercises from the book Program Proofs translated to Gobra
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
GitHub Action to verify Rust code using the Prusti verifier.
VS Code extension to verify Rust programs with the Prusti verifier.
A static verifier for Rust, based on the Viper verification infrastructure.
Website for graphing performance of rustc
Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logic
A safe, concurrent, practical language.
Simple explanations for some complex Rust lifetime errors.
A framework for writing plugins that integrate with the Rust compiler
Artifact for the paper "A Generic Methodology for the Modular Verification of Security Protocol Implementations"
Symbolic-execution-based verifier for the Viper intermediate verification language.
Extension of Silicon for product programs, in particular product program counterexample transformation
Definition of the Viper intermediate verification language.
An alternative encoding of multisets based on Dafny's encoding in Boogie.
Extension of the Viper language with modular product programs and information flow specifications
A Viper plugin for proving termination.
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.
Verifying the SCION architecture using Gobra
This is the main repository for the Viper IDE extension for VS Code.
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
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.