SPIN Promela Install and Run in Macbook

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=ADZBpmOJU_c




#############################