Concuerror

Concuerror

https://github.com/parapluu/Concuerror

Erlang328

2 months ago

Reviews

Concuerror is a stateless model checking tool for Erlang programs.

Search similar apps

License

BSD 2-Clause "Simplified" License

Share

Concuerror is a stateless model checking tool for Erlang programs.

Creator

parapluu

Related apps