GitHub repository: sashaafm/Concuerror
Description: Concuerror is a stateless model checking tool for Erlang programs.