erlang-programs

There are 0 repository under erlang-programs topic.

• 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