group: tools
short: The DIALYZER, a DIscrepany AnaLYZer for ERlang programs.