Skip to content
@gradual-verification

Gradual Verification

Pinned Loading

  1. ecoop21-artifact ecoop21-artifact Public archive

    Java 1

  2. gvc0 gvc0 Public

    Gradually Verified C0

    Scala 6 5

  3. silver-gv silver-gv Public

    Forked from viperproject/silver

    Definition of the Viper intermediate verification language.

    Scala 2

  4. silicon-gv silicon-gv Public

    Scala 3

Repositories

Showing 10 of 22 repositories
  • ai-for-verification Public

    proof synthesis and repair for gradual verifiers

    gradual-verification/ai-for-verification’s past year of commit activity
    C 0 MIT 0 0 0 Updated Sep 17, 2024
  • c0 Public

    IntelliJ plugin for gvc0

    gradual-verification/c0’s past year of commit activity
    0 0 0 0 Updated Sep 8, 2024
  • rust Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    gradual-verification/rust’s past year of commit activity
    Rust 0 13,065 0 0 Updated Aug 27, 2024
  • silicon-gv Public
    gradual-verification/silicon-gv’s past year of commit activity
    Scala 0 MPL-2.0 3 10 (1 issue needs help) 1 Updated Aug 20, 2024
  • gvc0 Public

    Gradually Verified C0

    gradual-verification/gvc0’s past year of commit activity
    Scala 6 5 27 (2 issues need help) 2 Updated Aug 5, 2024
  • silver-gv Public Forked from viperproject/silver

    Definition of the Viper intermediate verification language.

    gradual-verification/silver-gv’s past year of commit activity
    Scala 0 MPL-2.0 40 2 0 Updated Jul 25, 2024
  • gvr Public

    Gradual Verification for Rust

    gradual-verification/gvr’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Jul 25, 2024
  • prusti-dev Public Forked from viperproject/prusti-dev

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

    gradual-verification/prusti-dev’s past year of commit activity
    Rust 0 110 0 0 Updated Jul 23, 2024
  • htlc-bugs Public
    gradual-verification/htlc-bugs’s past year of commit activity
    Solidity 0 MPL-2.0 0 0 0 Updated Mar 10, 2024
  • gvc0-cparser-case-study Public

    Holds data and code from the gradual verification of a C parser with gvc0.

    gradual-verification/gvc0-cparser-case-study’s past year of commit activity
    C 0 MIT 0 0 0 Updated Dec 5, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…