A forum for Spin users
You are not logged in.
Pages: 1
Since there might be issues I missed in my former trial to download (It seems I got lost ...), I want to start everything from the beginning.
Please give me a list of software binaries I need to install and the URL for this.
I'll do the installation again - step by step.
Please remeber I want to start with elementary activites in SW verfication, so maybe I do not need all the features (I want to use iSPIN and to practice LTL).
I want to do basic software verification actiivities, on my PC/Windows, using graphical tool (iSPIN ?).
I tried the download binaries according to the directions written in SPIN site. I failed in the tcl step.
Since there are few software binaries to download, which are described in different places in the site, the question is why there is no one-click download for all of them?
If it is impossible, then I'll appreciate getting list of download directions concentarted in one place.
I got a lot of difficulties trying to install SPIN/iSPIN.
Why there is not a simple installation kit that running it once makes all necessary installations ?
Why it is so compliacated and therefore error prone ?
Or, maybe there is a way to have one-click installation that I'm not familiar with ?
I'm interested in PC/Windows installation.
Can someone help ?
Pages: 1