McErlang is a model checker for programs written in the Erlangprogramming language. The idea is to replace the part of the standardErlang runtime system that concerns distribution, concurrency andcommunication with a new runtime system which simulates processesinside the model checker, and which offers easy access to the programstate.The model checker has been written by Lars-Åke Fredlundand Clara Benac Earle (Facultad de Informática,Universidad Politécnica de Madrid, Spain) with contributionsby Hans Svensson (IT University, Gothenburg, Sweden).For more information please consult the documentation in:- the McErlang project wiki (https://babel.ls.fi.upm.es/trac/McErlang/)- the doc directory (tutorial and user manual)Additional documentation can be generated from the source codeby running the command "make docs", which will generate the HTMLfile "doc/edoc/index.html".