[erlang-questions] McErlang first public release

Clara Benac Earle <>
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