Spin was installed on Ubuntu 17.10

Installing SPIN can be done using the instructions found on: http://spinroot.com/spin/Man/README.html

First navigate to the directory

cd Spin

spin -run property1.pml

spin -run propery2_noqueue.pml

You can the do a single iteration using the follow command

spin -u5000 property2_noqueue.pml

Showing property 2 with a queue

spin -run property2_queue.pml

You can the do a single iteration using the follow command

spin -u5000 property2_queue.pml

spin -run property3.pml

You can do a single itteration using the following command

spin -u5000 property3.pml

ROS's kinetic was installed on Ubuntu 16.04

Installing ROS can be done using the instructions found on: http://wiki.ros.org/ROS/Installation

Source ROS

source /opt/ros/kinetic

Then go the workspace and build it

cd ROS_WS
catkin_make
source devel/setup.bash

To run the code you can use the following:

roslaunch ros_verification ros_equivalent.launch
roslaunch ros_verification ros_faster.launch 
roslaunch ros_verification ros_multiplePublishers.launch