Thanks to Taylor
Johnson for providing these tips.
There are several versions of Uppaal. I recommend using the "development snapshot" (a beta version) version 4.1, because it has many features not available in the current release version 4.0. If you have a 64-bit machine, you may want to use that because you'll be able to use a larger maximum memory. Download is here. Installation is simple. Just unzip and start uppaal.jar as a Java JAR file. You may be able to execute the program directly depending on path setup, but from the command line / console you can execute: java -jar uppaal.jar If Java is not on your system path, you'll need to specify the full path of the java executable. There is also an Uppaal forum for questions.
SpaceEx is normally run through a VMWare virtual machine. You can run VMWare virtual machines on Windows/Linux using the free VMWare Player, for Mac there is VMWare Fusion. You can download the SpaceEx virtual machine here. There are detailed installation instructions here. Here is a concise version of the installation instructions. After unzipping the SpaceEx virtual machine image, you can then launch VMWare Player and add the SpaceEx image as a virtual machine and start it. Once it starts up, you connect to the virtual machine via a web interface. You can also interact with SpaceEx from the command line in the virtual machine. The files are in ~\spaceex_exe\. The root password (e.g., for doing sudo commands) is "thoughtpolice" (no quotes). You could also install SpaceEx on your local Linux computer, but you'll have to install several libraries. For creating models, you should probably use the GUI model editor also available on the download page.
Unless you have some very particular reason to use Phaver, you should probably use SpaceEx. First, Phaver is no longer developed. Second, while SpaceEx uses a different default reachability algorithm, it also has support for Phaver's reachability algorithm. The main difference is that SpaceEx has a less human friendly input format, but you can use the GUI graphical editor mentioned in the SpaceEx instructions. That said, if you need to use Phaver, you should probably not try to recompile it, as the library dependencies are generally out-of-date. You should also not run the Windows binaries, as they are out of date and I've run into bugs with them. You should run it on Linux. You can follow "method 2" for doing this on the download site. You may have library discrepancies for running Phaver. It's normally a libstdc++ library that causes problems. The following may fix the problem: sudo apt-get install libstdc++5 Here are some potentially applicable details.You may also have to manually link some libraries. sudo ln -s /usr/local/lib/libstdc++.so.5 /usr/lib/libstdc++.so.5 sudo ln -s /usr/local/lib/