At a Glance
| Applications | Model Checker |
| Developers | Jonathan Nadal |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
stateright is a Rust library for model checking systems, with an emphasis on distributed systems.
| Applications | Model Checker |
| Developers | Jonathan Nadal |
| Licenses | MIT |
| Maintenance | Actively Maintained |
stateright is a Rust library for model checking systems, with an emphasis on distributed systems.