erlang-versions-badge

There are 0 repository under erlang-versions-badge topic.

• proper-testing / proper

  PropEr: a QuickCheck-inspired property-based testing tool for Erlang

  erlangrelease-badgecodecov-badgeerlang-versions-badge
  Language:Erlang 877
• Concuerror

  parapluu / Concuerror

  Concuerror is a stateless model checking tool for Erlang programs.

  concuerrorerlangsystematic-testingtestingtoolautomaticotpconcurrent-erlang-programsdebuggingverificationconcurrent-programmingmodel-checkingstateless-model-checkingmodel-checkererlang-programserlang-versions-badgecodecovcodecov-badgetravis-badge
  Language:Erlang 329