1.parapluu / ConcuerrorConcuerror is a stateless model checking tool for Erlang programs.concuerrorerlangsystematic-testingtestingtoolautomatic+13 moreErlangBSD-2-CLAUSE351 total43 forks+5 starsfrom 346 · score 1.79