Popular repositories Loading

1. prusti-dev prusti-dev Public

   Forked from viperproject/prusti-dev

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

   Rust

2. silicon silicon Public

   Forked from viperproject/silicon

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

   Scala

3. VerifiedSCION VerifiedSCION Public archive

   Forked from viperproject/VerifiedSCION

   Verifying the SCION architecture using Gobra

   Go

4. scion scion Public

   Forked from scionproto/scion

   SCION Internet Architecture

   Go

5. carbon carbon Public

   Forked from viperproject/carbon

   Verification-condition-generation-based verifier for the Viper intermediate verification language.

   Scala

6. silver silver Public

   Forked from viperproject/silver

   Definition of the Viper intermediate verification language.

   Scala