1 result found Sort:

parapluu
Concuerror parapluu
41
332
bsd-2-clause
17
Concuerror is a stateless model checking tool for Erlang programs.
otp tool erlang codecov testing automatic debugging concuerror travis-badge verification codecov-badge model-checker model-checking erlang-programs systematic-testing erlang-versions-badge concurrent-programming stateless-model-checking concurrent-erlang-programs
Created 2014-04-04
2,393 commits to master branch, last one 12 days ago