A forum for Spin users

You are not logged in.

#1 2011-04-09 04:22:14

Registered: 2010-11-18
Posts: 691

swarm 3.0

fixed a few small glitches in swarm (e.g., the handling of the -e option -- thanks to Theo Ruys), and posted the new version 3.0 at [url]http://spinroot.com/swarm/[/url]
Swarm is a spin preprocessor that can setup a large number of randomly different bitstate runs, to optimize chances of funding counter-examples in large to very large search spaces. It can also give a guarantee of terminating within a set period of time, say 1 hour, or 1 day etc.


Board footer

Powered by FluxBB