₦airaland Forum

life sucks uh,
speak for yourself

I'm sorry guys
SPIN is a kind of software used to test system models for verification and validation
My project supervisor who asked me to work on it doesn't really know much about it himself.
The SPIN software has different versions, but I downloaded a particular version called the
XSPIN. I already started writting on it and I'm really not making much progress cos I don't
know what to do with the one I got from the internet. You can get it incase you are interested
from

http://spinroot.com/spin/Man/README.html#S1a

I need help on my final year project. I'm working on spin software.
How do I get materials.
Please nairalanders, help me