hex.pm : concuerror
Concuerror: Stateless Model Checking tool for Erlang programs
Registry
-
Source
- Homepage
- Documentation
- JSON
- codemeta.json
purl: pkg:hex/concuerror
Keywords:
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
License: Other
Latest release: about 5 years ago
First release: over 7 years ago
Dependent repositories: 1
Downloads: 994 total
Stars: 332 on GitHub
Forks: 41 on GitHub
Total Commits: 2148
Committers: 22
Average commits per author: 97.636
Development Distribution Score (DDS): 0.339
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago