concuerror 0.20.0

Concuerror: Stateless Model Checking tool for Erlang programs

Links

License

BSD-2-Clause
  • 213 213
    downloads
    this version
  • 3 3
    downloads
    yesterday
  • 7 7
    downloads
    last 7 days
  • 213 213
    downloads
    all time

Versions (1)

Dependencies (1)

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

rebar3

Owners

Publisher

aronisstav

Dependents (0)