SACO Eclipse Plugin
SACO (Static Analyzer for Concurrent Objects) can be used through an Eclipse Plugin. SACO has been compiled to run in 32-bit Linux (it should also work on 64-bit Linux platforms) and it can be installed by following the instructions:- - If nothing is changed, Eclipse-SACO will use workspace-SACO. The workspace workspace-SACO contains multiple projects with ABS files to try out the system.
- - Otherwise, the user can select the directory where Eclipse will create new projects. To use SACO, the ABS file must be created within an ABS Project
SACO uses the tool dot (part of GraphViz) to generate graphs. Download and installation notes for GraphViz can be found here.