2 results found Sort:
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Created
2010-06-01
825 commits to master branch, last one about a year ago
Concuerror is a stateless model checking tool for Erlang programs.
Created
2014-04-04
2,393 commits to master branch, last one 12 days ago