Slides and accompanying code for the Rust User Group Graz Meetup on Testing Distributed and Concurrent Systems in Rust.
Inspired by the in the Rustfest Paris 2018 talk Building Reliable Infrastructure in Rust.
Additional talks and material courtesy by:
- Josef Hammer - Introduction to Jepsen
- Markus Teufelberger - Introduction to TLA+