hex.pm "concurrent-erlang-programs" keyword
View the packages on the hex.pm package registry that are tagged with the "concurrent-erlang-programs" keyword.
concuerror 0.21.0
Concuerror: Stateless Model Checking tool for Erlang programs2 versions - Latest release: about 5 years ago - 1 dependent repositories - 994 downloads total - 332 stars on GitHub - 1 maintainer