项目描述 ：
Concuerror is a stateless model checking tool for Erlang programs.

高级语言： Erlang

项目主页： http://parapluu.github.io/Concuerror

项目地址: git://github.com/parapluu/Concuerror.git

创建时间： 2014-04-04T12:04:51Z
项目社区：https://github.com/parapluu/Concuerror
开源协议：BSD 2-Clause "Simplified" License
下载