concuerror

v 0.21.0

Concuerror: Stateless Model Checking tool for Erlang programs

Online Documentation

Readme 1 Dependencies 0 Dependants Activity Versions

Versions

Version	Published Date	Note
0.21.0	October 31, 2020
0.20.0	July 15, 2018

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.21.0

this version

404

yesterday

0

last 7 days

0

all time

1 069

Last Updated

Oct 31, 2020

License

BSD-2-Clause

Build Tools

rebar3

Publisher

Links

Owners

aronisstav