Automatic Race Condition Detector in Actor Based Systems
improbable.io