Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free. Learn more →
Top 3 Rust model-checking Projects
Kani Rust VerifierProject mention: CVE-2023-4863: Heap buffer overflow in WebP (Chrome) | news.ycombinator.com | 2023-09-12
> those applications need the proof for correctness so that more dangerous code---say, what would need `unsafe` in Rust---can be safely added
There are actually already tools built for this very purpose in Rust (see Kani  for instance).
Formal verification has a serious scaling problem, so forming programs in such a way that there are a few performance-critical areas that use unsafe routines seems like the best route. I feel like Rust leans into this paradigm with `unsafe` blocks.
Find deadlocks in Rust code with Petri net model checkingProject mention: Petri Net for tokio ? | /r/rust | 2023-09-05
And a project uses it to check for deadlocks. https://github.com/hlisdero/cargo-check-deadlock/ but it doesn't work for async code, yet.
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
A linearizability checker for concurrent data structuresProject mention: Lineriazability Checker in Rust | news.ycombinator.com | 2023-07-22
Rust model-checking related posts
Kani 0.36.0 has been released!
1 project | /r/KaniRustVerifier | 9 Sep 2023
Petri Net for tokio ?
2 projects | /r/rust | 5 Sep 2023
Kani 0.34.0 has been released!
1 project | /r/KaniRustVerifier | 11 Aug 2023
Kani 0.33.0 has been released!
1 project | /r/KaniRustVerifier | 30 Jul 2023
Kani 0.32.0 has been released!
1 project | /r/KaniRustVerifier | 12 Jul 2023
Kani 0.31.0 has been released
1 project | /r/KaniRustVerifier | 28 Jun 2023
Formal verification for unsafe code?
2 projects | /r/rust | 16 Jun 2023
A note from our sponsor - Mergify
blog.mergify.com | 25 Sep 2023
What are some of the best open-source model-checking projects in Rust? This list will help you: