Concuerror is a stateless model checking tool for Erlang programs.

Erlang333bsd-2-clause

24 days ago

automaticcodecovcodecov-badge