Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hex.pm "erlang-programs" keyword

View the packages on the hex.pm package registry that are tagged with the "erlang-programs" keyword.

concuerror 0.21.0
Concuerror: Stateless Model Checking tool for Erlang programs
2 versions - Latest release: about 5 years ago - 1 dependent repositories - 994 downloads total - 332 stars on GitHub - 1 maintainer
Related Keywords
automatic 1 codecov 1 codecov-badge 1 concuerror 1 concurrent-erlang-programs 1 concurrent-programming 1 debugging 1 erlang 1 erlang-versions-badge 1 model-checker 1 model-checking 1 otp 1 stateless-model-checking 1 systematic-testing 1 testing 1 tool 1 travis-badge 1 verification 1