Toggle navigation
Packages
Pricing
Docs
Log in
aronisstav
Total Owned Packages
1
Total Downloads
972
concuerror
0.21.0
972 Downloads
Concuerror: Stateless Model Checking tool for Erlang programs
Stavros Aronis
aronisstav@gmail.com
vahnatai
on Twitter
aronisstav
on GitHub