The Erlang Source Debugger provides mechanisms which make it possible to follow and influence the execution of code in specified modules, as well as examining the process state after an exit.