Managed Projects

Concuerror

  Analyzed about 23 hours ago

Concuerror is a stateless model checking tool for Erlang programs.

27.4K lines of code

2 current contributors

9 days since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This