Software maintained by members of the group
Tools for Analysis, Testing and Verification of Erlang Programs
- Concuerror: A stateless model checking tool for systematically exploring all process interleaving of an Erlang program.
- Dialyzer: A static analysis tool that automatically detects discrepancies (many of which are bugs) in Erlang programs.
- Queue Delegation Locking: C and C++ libraries for QD Locking.