#
model-checking
Here are 14 public repositories matching this topic...
Hardware Formal Verification Tool
-
Updated
Oct 17, 2025 - Rust
Find deadlocks in Rust code with Petri net model checking
-
Updated
Oct 20, 2025 - Rust
A linearizability checker for concurrent data structures
-
Updated
Aug 3, 2023 - Rust
A framework for deterministic simulation and testing of distributed systems
-
Updated
Sep 12, 2025 - Rust
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
-
Updated
Feb 1, 2024 - Rust
Let's build a symbolic model checker from scratch in Rust !
-
Updated
Aug 10, 2024 - Rust
[beta] An experimental model checker for LTL written in Rust
-
Updated
May 14, 2020 - Rust
A Model Checker in Rust
-
Updated
Mar 3, 2025 - Rust
A small model checker for Computational Tree Logic
-
Updated
Apr 10, 2025 - Rust
Thunder is a model checker implemented in Rust, created during the first iteration of the practical course on model checking at RWTH Aachen.
-
Updated
Mar 3, 2025 - Rust
Let's try to implement some model checking algorithms in Rust, just for fun!
-
Updated
Sep 21, 2024 - Rust
A small language that compiles to the nuXmv input language
-
Updated
Dec 24, 2024 - Rust
Symbolic HCTL model checker for Boolean networks
-
Updated
Sep 25, 2025 - Rust
Improve this page
Add a description, image, and links to the model-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."