This artifcat belongs to the submission titled "Cyclic Abduction of Inductively Defined Safety and Termination Preconditions".

The zip file contains a 32-bit Ubuntu install that auto-logs in user 'nikos' (password should not be required but is SAS2014 in any case).

Once booted, open a terminal; the text file README-SAS2014.txt contains further info on how to run the tools included in sub-directory CABER.

We would be more than happy to help if anything is amiss.

Best regards
Nikos and James