Shuttle

Shuttle is a concurrency checker library that was used at AWS to verify filesystem operations. The tool helps ensure proper concurrent access patterns in filesystem implementations.