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