aronisstav

Managed Projects

Concuerror

Analyzed about 1 month ago

Concuerror is a stateless model checking tool for Erlang programs.

27.4K lines of code

2 current contributors

4 months since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Erlang

Licenses: bsd_2clau...

Tags debugging debuggingtool erlang testing testingtool tool verification