Release of the tool and test suite described in the SAS14 submission:
James Brotherston and Nikos Gorogiannis.
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions.
A link to a VirtualBox virtual machine loaded with a pre-compiled version of the software and the test suite will soon be posted here.