Rust Formal Methods

Open-source Rust projects categorized as Formal Methods
Edit details
Formal Verification Rust Verification rust-lang deductive-reasoning
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 5 Rust Formal Method Projects

Formal Methods

  • sled

    the champagne of beta embedded databases

    Project mention: SableDb – a key/value store that uses RocksDB and Redis API (written in Rust) | news.ycombinator.com | 2024-04-04

    a few times, seems interesting. The author's also built a lot of other cool concurrency primitives for Rust as well.

    [0] https://github.com/spacejam/sled

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • creusot

    Creusot helps you prove your code is correct in an automated fashion.

    Project mention: Rust is rolling off the Volvo assembly line | news.ycombinator.com | 2024-10-07

  • CreuSAT

    CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  • noiseexplorer

    Online engine for reasoning about the Noise Protocol Framework.

  • supervisionary

    The Supervisionary proof-checking kernel for higher-order logic

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).

Rust Formal Methods discussion

Log in or Post with

Rust Formal Methods related posts

  • Kani 0.29.0 has been released!

    2 projects | /r/rust | 31 May 2023

Index

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

Project Stars
1 sled 8,106
2 creusot 1,123
3 CreuSAT 609
4 noiseexplorer 7
5 supervisionary 3

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

Did you konow that Rust is
the 5th most popular programming language
based on number of metions?