Concuerror
Concuerror is a systematic testing (aka, stateless model checking) tool for finding and reproducing concurrency errors in Erlang programs.
You can more find information about Concuerror (its code, tutorials, relevant publications, etc.) on its dedicated website: http://parapluu.github.io/Concuerror
People maintaining Concuerror:
Since 2014, Concuerror's development has been partly supported by UPMARC
and the EU project RELEASE.