Rust Verification

Open-source Rust projects categorized as Verification | Edit details
Related topics: #Rust #Formal Verification #model-checking #rust-lang #Formal Methods

Top 5 Rust Verification Projects

  • prusti-dev

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

    Project mention: What's your strategy for checking that your code is panic free? | reddit.com/r/rust | 2022-05-16

    See also https://github.com/viperproject/prusti-dev

  • kani

    Kani Rust Verifier

    Project mention: Kani Rust Verifier – a bit-precise model-checker for Rust | news.ycombinator.com | 2022-03-23

    Looks like that the project has changed its name from "rmc" (Rust Model Checker) to this. Various sources point to rmc as https://github.com/model-checking/rmc (redirected to https://github.com/model-checking/kani) and https://model-checking.github.io/rmc/ (404). Anyone knows why?

  • SonarLint

    Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

  • ed25519-dalek

    Fast and efficient ed25519 signing and verification in Rust.

  • creusot

    deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

    Project mention: What Is Rust's Unsafe? | news.ycombinator.com | 2022-04-10

    > I’ve been working on a tool: https://github.com/xldenis/creusot to put this into practice

    Note that there are other tools trying to deal with formal statements about Rust code. AIUI, Rust developers are working on forming a proper working group for pursuing these issues. We might get a RFC-standardized way of expressing formal/logical conditions about Rust code, which would be a meaningful first step towards supporting proof-carrying code within Rust.

  • rust-verification-tools

    RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

    Project mention: AdaCore and Ferrous Systems Joining Forces to Support Rust | news.ycombinator.com | 2022-02-02

    I hope someone also picks up the work started in https://project-oak.github.io/rust-verification-tools/ - the idea of having a `cargo verify` tool that supports different backends is great for bridging the academic PoCs with something that an average programmer can integrate into the dev workflow.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-05-16.

Rust Verification related posts

Index

What are some of the best open-source Verification projects in Rust? This list will help you:

Project Stars
1 prusti-dev 566
2 kani 517
3 ed25519-dalek 482
4 creusot 304
5 rust-verification-tools 236
Find remote jobs at our new job board 99remotejobs.com. There are 7 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com