Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:tools [2017/12/01 21:41]
egm [Cudd]
cs-486:tools [2018/09/04 16:15] (current)
egm [Spin]
Line 1: Line 1:
 == Spin == == Spin ==
-[http://​spinroot.com/​spin/​whatispin.html Spin] is one of the most stable and useable model checkers to date. It is relatively easy to install, and it has a graphical interface for those less accustomed to the command line. Follow ​the [http://​spinroot.com/​spin/​Man/​README.html directions on the spin website] to download and install Spin (Linux or Mac OSX are highly recommended though Cycwin on windows works well too). Here are a few notes that might be helpful:+[http://​spinroot.com/​spin/​whatispin.html Spin] is one of the most stable and useable model checkers to date. It is relatively easy to install, and it has a graphical interface for those less accustomed to the command line. If you are using Mac OSX, then the easiest way to install Spin is with homebrew: '''​brew install spin'''​. 
 + 
 +Otherwise, follow ​the [http://​spinroot.com/​spin/​Man/​README.html directions on the spin website] to download and install Spin (Linux or Mac OSX are highly recommended though Cycwin on windows works well too). Here are a few notes that might be helpful:
 * You do not need to be ''​root''​ to install Spin * You do not need to be ''​root''​ to install Spin
 * On the command line, when you go to test Spin, if you are getting ''​command not found'',​ then try to add ''​.''​ before the command to search the current directory as the current directly may not be in your search path: '''​./​spin''' ​ * On the command line, when you go to test Spin, if you are getting ''​command not found'',​ then try to add ''​.''​ before the command to search the current directory as the current directly may not be in your search path: '''​./​spin''' ​
cs-486/tools.txt · Last modified: 2018/09/04 16:15 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0