Spinroot
A forum for Spin users
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2011-04-09 04:22:14
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.
Offline
Pages: 1