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 12 7

  3. silver-gv silver-gv Public

    Forked from viperproject/silver

    Definition of the Viper intermediate verification language.

    Scala 5

  4. silicon-gv silicon-gv Public

    Scala 6

Repositories

Showing 10 of 22 repositories
  • gradual-viper-roots Public Forked from viperproject/viper-roots
    gradual-verification/gradual-viper-roots’s past year of commit activity
    Isabelle 0 MPL-2.0 1 0 0 Updated Jan 12, 2026
  • gvc0 Public

    Gradually Verified C0

    gradual-verification/gvc0’s past year of commit activity
    Scala 12 MIT 7 25 (2 issues need help) 2 Updated Dec 31, 2025
  • 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 48 2 0 Updated Dec 31, 2025
  • silicon-gv Public
    gradual-verification/silicon-gv’s past year of commit activity
    Scala 0 MPL-2.0 6 13 (1 issue needs help) 1 Updated Dec 31, 2025
  • LLM-4-generatingVeriFast-Forge25 Public

    The replication package of the paper "Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast" in Forge25

    gradual-verification/LLM-4-generatingVeriFast-Forge25’s past year of commit activity
    C 0 0 0 0 Updated Oct 2, 2025
  • 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 15,161 0 0 Updated Aug 27, 2024
  • gvr Public archive

    Gradual Verification for Rust

    gradual-verification/gvr’s past year of commit activity
    Dockerfile 1 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 123 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

Most used topics

Loading…