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 "model-checking" keyword

concuerror 0.21.0
Concuerror: Stateless Model Checking tool for Erlang programs
2 versions - Latest release: over 5 years ago - 1 dependent repositories - 1.05 thousand 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-programs 1 erlang-versions-badge 1 model-checker 1 otp 1 stateless-model-checking 1 systematic-testing 1 testing 1 tool 1 travis-badge 1 verification 1