Top 4 Rust Formal Method Projects
the champagne of beta embedded databasesProject mention: RFC: redb (embedded key-value store) nearing version 1.0 | /r/rust | 2023-05-10
Sled uses bw-tree actually https://github.com/spacejam/sled/wiki/sled-architectural-outlook
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!Project mention: Conditioonal Compilation across Crates? | /r/rust | 2023-07-04
However, it seems that C is not "notified" whether --cfg thing is set, only the main crate being built is. Regardless of this flag, the dummy macro is always chosen. Am I doing something wrong? It should work; the Creusot project is doing something similar.
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
The Supervisionary proof-checking kernel for higher-order logic
Rust Formal Methods related posts
What are some of the best open-source Formal Method projects in Rust? This list will help you: