Running Cadence SMV and NuSMV on Andrew Machines ************************************************ 1. Add the following line to your .cshrc file. source /afs/andrew.cmu.edu/usr21/himanshu/smv.cshrc If you use some other shell just look at the contents of /afs/andrew.cmu.edu/usr21/himanshu/smv.cshrc and set the path variables according to the shell you use. 2. Re-execute the shell. For example, by calling "source .cshrc". Running Cadence SMV - You should be able to run the command line version of Cadence SMV by calling "smv" command - See /afs/andrew.cmu.edu/usr21/himanshu/cadence-smv/doc/smv for a tutorial and other documentation on smv. Running NuSMV - You should be able to run the command line version of NuSMV by calling "NuSMV" command - NuSMV user manual and tutorial can be found in /afs/andrew.cmu.edu/usr21/himanshu/nusmv/NuSMV-2.3.1-i686-pc-linux-gnu/share/nusmv/doc - Small examples for testing the setup can be found in /afs/andrew.cmu.edu/usr21/himanshu/nusmv/NuSMV-2.3.1-i686-pc-linux-gnu/share/nusmv/examples/example_cmu Try using both Cadence SMV and NuSMV on these examples. Let us know if there are any problems. If you want to install these tools on your personal computers follow the directions given below. Personal Installations ************************************************ Installing Cadence SMV on Windows 1. Download Windows version from http://www.kenmcmil.com/smv.html. You need to fill a license form. 2. Double click on self-installing Windows executable file. If you follow default options: - an icon is created on Desktop. You can start the SMV GUI by clicking it. - documentation and examples can be found in C:\Program Files\SMV\doc ------------------------------------------------------- Installing Cadence SMV on Linux 1. Download a Linux version from http://www.kenmcmil.com/smv.html. smv.10-11-02p46.unknown_Linux_2.4.2-2.tar.gz seems to work fine on Linux machines. 2. tar -zxvf smv.10-11-02p46.unknown_Linux_2.4.2-2.tar.gz This will create four directories bin, doc, lib, man. The smv binary can be found in smv directory. You need to set some path variables for the binary to work properly. These are described clearly in the manual in doc/smv/install.html file. (or see smv.cshrc in my directory) ------------------------------------------------------- Installing NuSMV binary on Windows 1. Download windows binary version from http://nusmv.irst.itc.it/. You need to fill a form. I downloaded the latest version NuSMV-2.4.0-i586-pc-mingw32msvc.exe. 2. Double click on self-installing Windows executable file. If you follow the default options the NuSMV binary, documentation, and examples are placed in C:\Program Files\NuSMV\2.4.0 directory. Small examples can be found in C:\Program Files\NuSMV\2.4.0\examples\example_cmu. There does not seem to be a GUI available for recent versions of NuSMV. You can run these versions via command prompt. ------------------------------------------------------- Installing NuSMV binary on Linux 1. Download a version of binary for Linux from http://nusmv.irst.itc.it/. On a linux machine following worked fine: a. Download NuSMV-2.3.1-i686-pc-linux-gnu.tar.gz b. tar -zxvf NuSMV-2.3.1-i686-pc-linux-gnu.tar.gz You can find an executable in NuSMV-2.3.1-i686-pc-linux-gnu/bin/ --------------------------------- Note: NuSMV can also be compiled from source code on Windows and Linux.