[erlang-questions] McErlang first public release

Clara Benac Earle cbenac@REDACTED
Tue Mar 31 15:37:08 CEST 2009

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

More information about the erlang-questions mailing list