2 skills found
Concuerror is a stateless model checking tool for Erlang programs.
stateless model checking for thread libraries, kernels, and transactional memory
bblum / Landslide
