netresearch/formal-model-checking
v0.1.0(MIT AND CC-BY-SA-4.0)
Bounded state models for concurrency, persistence and recovery claims, with validated counterexamples and separate implementation evidence.
| Version | Commit | First seen |
|---|---|---|
| 0.1.0latest | 7ff50095ff65 |