concuerror: Concuerror's Mailing List

Discussion and help for Concuerror, a stateless model checking tool for Erlang programs.