AlphaPeu commune
parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
- Propriétaire
- parapluu (organisation)
- Étoiles
- Étoiles : 351
- Forks
- Forks : 43
- Langage
- Erlang
- Licence
- BSD-2-Clause
- Création
- 2014
- Sujets
- concuerrorerlangsystematic-testingtestingtoolautomaticotpconcurrent-erlang-programsdebuggingverification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de parapluu
Les 2 dépôts de parapluu- parapluu/niftyÉtoiles : 144ErlangPrototype
D’autres dépôts Erlang
Tous les dépôts Erlang- joearms/crypto_tutorialÉtoiles : 359ErlangAlpha
- basho/riak_dtÉtoiles : 357ErlangAlpha
- prometheus-erl/prometheus.erlÉtoiles : 355ErlangAlpha
- comtihon/mongodb-erlangÉtoiles : 350ErlangAlpha
- processone/eturnalÉtoiles : 346ErlangAlpha
- sinasamavati/leptusÉtoiles : 345ErlangAlpha