parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
ErlangBSD-2-Clause
Watchers
- aronisstav@esl
- beardedeagle@GoDaddy
- boknerBarrie, ON, Canada
- ferdSaguenay, Qc, Canada
- jhcloos
- jonnadal
- juanbono@lambdaclass
- kjedruczyk
- kostisNTUA, Greece + Uppsala University, Sweden
- lin7shAuckland
- llelf
- mcginleyr1SentinelOne
- PanagiotisFytas
- sashaafm@talkjs
- snwightForensic Genesis Productions
- wdshinWhat If Studio / CEO
- yunis-aliManchester