parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
ErlangBSD-2-Clause
Stargazers
- 23uaNew Zealand
- abecciuGreater Los Angeles Area
- abhipras
- AlexanderKai
- badenбездельник и лоботряс
- benjamintanweihao@Dkatalis
- caizongchao
- dchSkunkWerks, GmbH
- drobakowskiSynlay Technologies
- dstar4138Detroit, MI
- edwardw
- emilvBloglovin
- eproxusBerlin, Germany
- evnu
- gmcabrita@amplemarket
- greymouserWilliamstown, MA
- ichernetskyRedwood City, California
- jhlywaCommonwealth of Virginia
- jj1bdxKRPEO
- joseluisdiaz@auth0
- justincampbellWest Chester, PA
- kesipyc
- kiela@AcornsGrowAU
- mcginleyr1SentinelOne
- nyarayNYC, NY, USA
- pooyaVancouver
- psym
- richcarl@Lesslie-Tech
- saaRussia
- Stratus3DSarasota, FL
- TheGeorgeWhatsApp
- tlrobrn
- tolbrino@hoprnet
- tyrchen@tubi
- voluntas@shiguredo
- wizzard0Toliman LLC