PropEr: a QuickCheck-inspired property-based testing tool for Erlang
-
Updated
May 5, 2025 - Erlang
#
erlang-versions-badge
Here are 2 public repositories matching this topic...
Concuerror is a stateless model checking tool for Erlang programs.
testing debugging erlang otp tool verification systematic-testing travis-badge concuerror automatic concurrent-erlang-programs concurrent-programming model-checking codecov model-checker codecov-badge stateless-model-checking erlang-versions-badge erlang-programs
-
Updated
Apr 22, 2025 - Erlang
Improve this page
Add a description, image, and links to the erlang-versions-badge topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the erlang-versions-badge topic, visit your repo's landing page and select "manage topics."