Show Concuerror's major components/processes in a software design diagram

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

http://parapluu.github.io/Concuerror

BSD 2-Clause "Simplified" License

332 stars 41 forks source link

Open aronisstav opened 7 years ago

aronisstav commented 7 years ago

This is a 'maintainer's documentation' issue, which can help when the project is inspected by new developers.

aronisstav commented 6 years ago

This is not needed for 1.0.0