Scott Lystig Fritchie
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...
More information about the erlang-questions