All Git Users → parapluu

2 open source projects by parapluu

[ Open user page on Github ]

Erlang NIF Wrapper Generator

✭ 131

Concuerror is a stateless model checking tool for Erlang programs.

✭ 277

erlang testing tool debugging verification otp automatic concurrent-programming codecov model-checking

1-2 of 2 user projects