2 results found Sort:

167
886
gpl-3.0
36
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Created 2010-06-01
829 commits to master branch, last one 16 days ago
42
335
bsd-2-clause
16
Concuerror is a stateless model checking tool for Erlang programs.
Created 2014-04-04
2,401 commits to master branch, last one 14 days ago