Supported Operating SystemsTopSpin 4 requires a 64 bit operating system. Windows 10 or CentOS 7 are required for spectrometer control. Processing version of Topspin is available for Windows 10, CentOS 7 and macOS. Detailed list of supported operating system may be found here.
SPIN READMEOverview of this File Downloading Spin Installing Spin Related software (gcc, cpp, tcl/tk wish, yacc, dot, etch, jspin, erigone, spinja, ltl2ba)
0. OverviewThis readme file contains the guidelines fordownloading and installing Spin and related software on Unix/Linux and Windowsplatforms. Refer to Spin'shomepage for a general description of Spin, with pointers to manual pages, tutorials,introductory papers, books, etc.Spin is distributed freely in source form to encourage research in formalverification, and to help a support friendly and open exchange of algorithms,ideas, and tools.Copyright and LicenseThe original version of the Spin source code was developed by Gerard Holzmannat Bell Laboratories between 1980 and 1990. It was first publically releasedin January 1991, initially through the Netlib source code repository.It has been distributed freely since then for research and educational purposes,without any guarantee of any kind expressed or implied.On 30 December 2015 Alcatel-Lucent (the company that inherited Bell Laboratoriesfrom AT&T in the trivestiture from 1996) transfered the copyright to all sourcesto Gerard Holzmann, explicitly to enable a standard open source releaseunder the BSD 3-Clause license. Starting with Spin Version 6.4.5 all Spin code,sources and executables, are now available under the BSD 3-Clause license.Spin is also part of the stable release of Debian, and is starting to show upin newer Ubuntu releases (16.10+), so that you'll soon be able to install it witha standard sudo apt-get install spin command.From the early development of the Plan9 Operating System, Spin has also beenpart of that distribution and versions can be found, for instance, in theversion distributed by UC Berkeley.1. Downloading SpinSpin runs on Unix,Solaris, and Linux machines, on most flavors of Windows PCs, and on Macs.Precompiled binary executables for some popular types of machines are availablein theSpin Binaries.All binaries have an extension that matches the Spin version number,such as spin649.exe. To install the binary, rename it tospin.exe and copy it into your bin directory.If you have machine type that is not available there, or if you areinstalling Spin for the first time, then follow the more detailed instructionsbelow. Unix systems: download the most recent .tar-file with sources, the graphical interface iSpin, documentation and examples from the Spin Distribution, and continue at Step 2a.
top spin 3 pc telecharger
2. Installing Spin Unix/Linux systems (compiled from the sources) Windows PC's (using the executable)
Macs (compiled from the sources, with some patches)
2a. Installing Spin on a Unix/LinuxSystemPlace the *.tar.gz file from the Spin Source Distribution in clean directory, and cd to that directory. If you have a standard Unix/Linux system, unpack the archive, and compile an executable, for instance as follows: gunzip *.tar.gztar -xf *.tarcd Src*make If you are on a SOLARIS system, edit the makefile and add -DSOLARIS to the compiler directives in the makefile before you type 'make'. Similarly, if you use a different C compiler than defined in the makefile, edit the makefile first. You need to have at least a C compiler and a copy of yacc. If all else fails, you can also compile everything with the following line:yacc -v -d spin.y; cc -o spin *.c Spin should compile without warnings. Install the executable version of spin in a directory that is within your default search path (such as your home bin directory, or /usr/local/bin etc.) On Unix/Linux systems Spin assumes that the standard C preprocessor cpp is stored in file "/lib/cpp". On some systems this is different: check the comments in the makefile for details if you run into this problem. TestingTo test the basic sanity of the Spin executable, or to get familiar with the basic usage of Spin, cd to the Examples directory that was created when you unpacked the source archive, and follow the instructions in README.tests file that is included there. Adding iSpin (Unix/Linux)iSpin is an optional, but highly recommended, graphical user interface to Spin, written in Tcl/Tk. To obtain Tcl/Tk, see Related software. The iSpin source can be found the iSpin/ subdirectory that will is created when you unpack the source tarfile. iSpin is compatible with Tcl/Tk version 8.4 and 8.5. iSpin prints the version numbers of Spin, iSpin, and Tcl/Tk when it starts up. You can also check separately which version of Tcl/Tk you have installed by executing the following commands in `wish' (a Tcl/Tk command): info tclversionputs $tk_versionYou can find out which version of Spin you have by typing, at a shell command prompt: $ spin -V Spin and iSpin need a working version of a C compiler installed on your system. iSpin can also make use the graph layout program 'dot' if it is available on your system. For information on 'dot,' see Related software. To install iSpin run the iSpin/install.sh script (after possibly editing it). invoke the program by typingispinorispin promela_specFor example:ispin Spin/Examples/LTL/leader.pml
Check the online Help menus in ispin for more details on routine use.2b. Installing Spin on a WindowsPCIf you just need to update the Spin executable itself, download a new version from If you need more files, e.g. a new copy of iSpin, download the latest pc_spin*.zip file from Extract the files from pc_spin*.zip, and copy spin*.exe, renamed spin.exe, into the directory where all your commands reside and that is within your default search path (e.g., c:/cygwin/bin/, or c:\apps\spin\) You can find out what your search path is set to by typing 'set' at an MS-DOS prompt -- this prints a list of all defined variables in your environment, including the search path that is used to find executable commands. (Note that you may need to set the search path in the environment variables) If you use Spin from the command line (i.e., without iSpin), be warned that some command shells, e.g., the MKS Korn-shell, have none-standard rules for argument parsing (i.e., you can not reliably quote an argument that contains spaces, such as an LTL formula). In most cases this will not be much of a problem, except with the conversion of LTL formula with the spin -f option. Use single-quotes when needed, e.g.: spin -f '[]p' You can circumvent the problem by using inline LTL formula, which are supported in Spin version 6, or by using sping option -F instead of -f, to read the formula from a file instead of the command line. To run Spin, also with the precompiled version, you need a working C-compiler and a C-preprocessor, because Spin generates its model checking software as C-source files that require compilation before a verification can be performed. This guarantees fast model checking, because each model checker can be optimized to the specific model being checked. Check, for instance, if you can compile and run a minimal C program succesfully, e.g.:#include int main(void) printf("hello\n"); To find a public version of a C compiler and some instructions on how to install it see Related software. Adding iSpin (PC)To run iSpin on a PC, you need the PC version of Tcl/Tk, which you can find under Related software. The ispin*.tcl source is contained in the .zip file of the distribution. Copy the .tcl file as is into a directory where you plan to work, or put a shortcut to this file on the Desktop or in the Start Menu. If you keep the extension .tcl, make sure it is recognized as a 'wish' file by the system, so that ispin starts when you double click the ispin*.tcl script. Under cygwin, copy the ispin*.tcl file to /bin/ispin and make it executable You can now use ispin as a normal Unix-style command, and you can pass the name of a filename to it, for instance as: ispin leader An alternative is to start ispin from its source by invoking wish:wish -f ispin.tcl orwish -f /bin/ispin 2ff7e9595c
Comments