AlphaUncommon
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
- Owner
- parapluu (organization)
- Stars
- Stars: 351
- Forks
- Forks: 43
- Language
- Erlang
- License
- BSD-2-Clause
- Created
- 2014
- Topics
- concuerrorerlangsystematic-testingtestingtoolautomaticotpconcurrent-erlang-programsdebuggingverification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by parapluu
All 2 repos by parapluu- parapluu/niftyStars: 144ErlangPrototype
Nearby in Erlang
All Erlang repos- joearms/crypto_tutorialStars: 359ErlangAlpha
- basho/riak_dtStars: 357ErlangAlpha
- prometheus-erl/prometheus.erlStars: 355ErlangAlpha
- comtihon/mongodb-erlangStars: 350ErlangAlpha
- processone/eturnalStars: 346ErlangAlpha
- sinasamavati/leptusStars: 345ErlangAlpha