Dear all, We are happy to announce the first public release of McErlang, a model checking tool for Erlang. Please take a look at https://babel.ls.fi.upm.es/trac/McErlang/ try the tool and send us your questions, comments, bug reports, etc. Best regards, Clara and Lars-Ake Fredlund