parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Home Page:http://parapluu.github.io/Concuerror

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

parapluu/Concuerror Stargazers