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
Dec 20, 2024 - Erlang