COSTABS Command-line

• costabs.zip: a zip file that includes a pre-compiled version for 32bit Linux. Uncompress and read the README file for installation instructions. The tool documentation can be foound in the doc folder.

COSTABS Eclipse plugin (recommended)

The COSTABS Eclipse plugin is completely integrated within the main ABS Tool suite which is also a plugin for Eclipse. The web-site includes detailed documentation. Go here for the COSTABS documentation.

Installation instructions:

• Option 1: Install the latest ABS eclipse plugin available at the ABS Tool suite web site. Follow the instructions here.
• Option 2 (recommended): The version in the ABS Tool Suite web site is not updated very often. We therefore provide here a more recent version including the most recent changes in the COSTABS plugin. Such more recent version can also be installed as an update site in Eclipse. Open Eclipse and go to Help -> Install new Software and use the following update site http://costa.ls.fi.upm.es/~costa/download/costabs/ABSPluginUpdateSite

Source code of COSTABS

• costabs-src.zip: The sources of costabs. Note that COSTABS depends on some external libraries which are not included in the zip file (PPL, PUBS, etc)