avtobiff / concuerror Goto Github PK
View Code? Open in Web Editor NEWThis project forked from parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Home Page: http://parapluu.github.io/Concuerror
License: BSD 2-Clause "Simplified" License