Toggle navigation
Packages
Pricing
Docs
Log in
concuerror
0.20.0
Concuerror: Stateless Model Checking tool for Erlang programs
Links
Online documentation
Github
Website
License
BSD-2-Clause
Downloads
0
20
40
60
80
Last 30 days, 0.20.0
470
470
this version
0
0
yesterday
6
6
last 7 days
488
488
all time
Versions
(2)
0.21.0
Oct 31, 2020
0.20.0
Jul 15, 2018
Dependencies
(1)
getopt
1.0.1
Recent Activity
Oct 31, 2020 Publish documentation for release 0.21.0
Oct 31, 2020 Publish documentation for release 0.21.0
Oct 31, 2020 Publish release 0.21.0
Jul 15, 2018 Publish documentation for release 0.20.0
Jul 15, 2018 Publish release 0.20.0
Show All Activities
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
rebar3
Owners
aronisstav
Publisher
aronisstav
Dependents (0)