<div dir="auto">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?</div><div dir="auto"><br></div><div dir="auto">The Concuerror tool at <a href="http://concuerror.com/">http://concuerror.com/</a> 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. </div><div dir="auto"><br></div><div dir="auto">-Scott </div><div dir="auto"><br></div>