Skip to content


Subversion checkout URL

You can clone with
Download ZIP
tree: 2ba6c0fa55
Fetching contributors…

Cannot retrieve contributors at this time

23 lines (16 sloc) 0.903 kb
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
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 (
- 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".
Jump to Line
Something went wrong with that request. Please try again.