Building a Tiny Model Checker, Part 4

Sleep sets, partial-order reduction, and beyond.