Open source repositories tagged with #concurrency-testing, ranked by health score.
JMC - Java Model Checker
