I am trying to install spin, 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.
The problem is that i follow every step in the guide and when i try to run a spin program ubuntu pops a message that says i have to install "staden" in order to run pml files, but staden is another kind of program irrelevant to what i am trying to install, i have attached a screenshot of the terminal if it helps. Screenshot of the installation process
I have tried contacting their forum but it is closed and still waiting for an invite.
Thank you in advance