parapluu/Concuerror

Readme
Issues
Stargazers
Watchers

Describe API

aronisstav opened this issue 6 years ago · 1 comments

aronisstav commented 6 years ago

Describe API

aronisstav commented 6 years ago

Good enough for now

Topics

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

Share to

Contact site admin: Geeks.