2 results found Sort:
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Created
2010-06-01
829 commits to master branch, last one 16 days ago
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