[erlang-questions] McErlang

Scott Lystig Fritchie fritchie@REDACTED
Tue Oct 3 08:25:01 CEST 2017

Hi, Richard. It is too late in the middle of the US for a great answer
(zzzzz...), but since it isn’t such a crazy hour for you (probably), a
terrible answer might be helpful?

The Concuerror tool at http://concuerror.com/ is under active development
today by Stavros Aronis. Its DPOR techniques are likely far more efficient
than McErlang’s search strategies, even if McErlang were cleaned up for a
newer Erlang release.  I’ve used it on a couple of verification projects
with good results.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20171003/94e03534/attachment.htm>

More information about the erlang-questions mailing list