A toy project inspired by loom. This crate has no fancy algorithms for performance improvement, it just explores all state spaces, so it runs slowly. But it is much cooler to implement a model checker than other rust toy projects.
- detection of deadlock
- detection of violations of assertions