Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by parapluu
A curated list of projects in awesome lists by parapluu .
https://github.com/parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 12 Oct 2024
https://github.com/parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 04 Aug 2024