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