Department of Information Technology

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.

Locking Libraries

Concurrent Data Structures

Updated  2016-09-14 14:10:41 by Kjell Winblad.