concuerror

There are 2 repositories under concuerror topic.

Concuerror
parapluu / Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
concuerror erlang systematic-testing testing tool automatic otp concurrent-erlang-programs debugging verification concurrent-programming model-checking stateless-model-checking model-checker erlang-programs erlang-versions-badge codecov codecov-badge travis-badge
Language:Erlang 338