[erlang-questions] McErlang first public release
Wed Apr 1 19:49:34 CEST 2009
> 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.
very cool! i think concurrency/distribution clearly needs model
checking to develop 'correct' systems (as opposed to ones that 'just'
handle failure dynamically). hope to get some free time (ha ha!) to
try this all out.
More information about the erlang-questions