Installation instructions for Bounds

To install and use Bounds you need a number of other software packages.
1. Bounds uses nauty (No AUTomorphisms?, Yes!) to detect and remove isomorphic parameter values. Nauty package is downloaded automatically by the configuration script, so a working network connection is needed during the first time installation.
2. ANTLR3 (ANother Tool for Language Recognition) C v3.2 development files must be installed, v3.4 is buggy and hence not supported. A package containing the library and headers can be downloaded from http://www.antlr.org/download/C. Alternatively, one can install the debian package libantlr3c-dev.
3. Google's tcmalloc library is needed for more efficient memory management. A package containing the library can be downloaded from http://code.google.com/p/gperftools. Alternatively, one can install the debian package libgoogle-perftools-dev.
4. Bounds produces FDR2 (Failures-Divergences Refinement) compatible output. Hence, in order to complete the verification process, FDR2 must be properly installed as well. FDR2 is needed by bounds{TraceRefinement|Compatibility|AlternatingSimulation}Checker scripts. FDR2 can be downloaded from http://www.fsel.com/fdr2_download.html.
5. boundsAlternatingSimulationChecker exploits MIO Workbench, too, which is an Eclipse plugin. MIO Workbench is downloaded automatically by the configuration script, so a working network connection is needed during the first time installation.
6. Eclipse is not installed automatically. It is recommended to install Eclipse 3.7 (Indigo) with Modelling Tools manually from http://www.eclipse.org/downloads/packages/release/indigo/sr2, not automatically through a package manager, at least Eclipse installed from an Ubuntu package does not recognise external plugins properly. After installing Eclipse, you need to install XText modelling component via Eclipse's Help menu, too.

Having prepared all the auxiliary software as explained above, run
./configure
make
make install
to compile and install Bounds with checkinstances script.
