Monday, October 27, 2014

SPIN model checker with iSpin on ubuntu 14.04

Spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.[Read More]

 1. Download latest source code(Full distribution, with sources) from http://spinroot.com/spin/Src/index.html
2. Install yacc on your system 
sudo apt-get install byacc Tk8.5
3.Unpack the spin source code and compile.
gunzip *.tar.gz
tar -xf *.tar
cd Src*
make
4. If its compiled without error, then copy the executable into your system path. 
sudo cp spin /usr/local/bin
5. Check the correctness of your installation using version command
spin -V
6. Move to iSpin folder in spin source code and install ispin
cd ../iSpin
sudo sh install.sh

Now you can invoke ispin interface using 'ispin' command



Reference 




[1]. http://spinroot.com/spin/Man/README.html










Posted by



at



























Labels:
,
,
,
,


















3 comments:








  1. liakosApril 26, 2020 at 8:52 AM
    This comment has been removed by the author.
    ReplyDelete
  2. liakosApril 26, 2020 at 9:22 AM
    I had a problem with ispin. There wasn't any ispin folder. Althought there was a folder named "optional_gui" end there was not intall.sh in it. There was the ispin.tcl
    So you need to install wish and just ran ispin.tcl (i think that's what i did. or something like that. I am an ubsoloute newcomer on linux...)
    ReplyDelete
    Replies
    1. liakosApril 26, 2020 at 9:27 AM
      Oh and please if somebody can send this feedback to the spinroot.com admin, it could be very good. I can't find theyre email or something...
      Delete


































        

      









Subscribe to:
Post Comments (Atom)