concuerror (hex): Concuerror: Stateless Model Checking tool for Erlang programs
Keywords: automatic|codecov|codecov-badge|concuerror|concurrent-erlang-programs|concurrent-programming|debugging|erlang|erlang-programs|erlang-versions-badge|model-checker|model-checking|otp|stateless-model-checking|systematic-testing|testing|tool|travis-badge|verification