Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
58,136 visible repositories in the index
1–1 of 1 · Most stars
58,136 visible repositories in the index
1–1 of 1 · Most stars
Concuerror is a stateless model checking tool for Erlang programs.