Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Rust Model Checking Open Source Projects

Open source projects categorized as Rust Model Checking
Categories > Software Quality > Model Checking
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44most recent commit 3 months ago
Tla Rust ⭐ 831
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
most recent commit 7 years ago
Fantoch ⭐ 108
framework for evaluating (planet-scale) consensus protocols
most recent commit a year ago
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10most recent commit 10 months agocargo modelator} Downloads
Cargo Check Deadlock ⭐ 15
Find deadlocks in Rust code with Petri net model checking
total releases 5most recent commit 4 months ago
Cgaal ⭐ 6
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
most recent commit 6 months ago
Stateright.github.io ⭐ 5
"Building Distributed Systems with Stateright"
most recent commit a year ago
Lincheck ⭐ 5
A linearizability checker for concurrent data structures
most recent commit 9 months ago
The 3 Latest Releases In Rust Model Checking Open Source Projects
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Cargo Check Deadlock ⭐ 15
Find deadlocks in Rust code with Petri net model checking
total releases 5latest release October 14, 2023most recent commit 4 months ago
Modelator ⭐ 43
Model-based testing tool
dependent packages 2total releases 10latest release January 17, 2022most recent commit 10 months agocargo modelator} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.