Costabs

COSTABS Command-line

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:

Source code of COSTABS