A Rust library for model checking distributed systems that verifies both design and implementation, positioning itself as more accessible th