McErlang is a model checker for programs written in the Erlang programming language. The idea is to replace the part of the standard Erlang runtime system that concerns distribution, concurrency and communication with a new runtime system which simulates processes inside the model checker, and which offers easy access to the program state. The model checker has been written by Lars-Åke Fredlund and Clara Benac Earle (Facultad de Informática, Universidad Politécnica de Madrid, Spain) with contributions by 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 code by running the command "make docs", which will generate the HTML file "doc/edoc/index.html".