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