Skip to content

@ngorogiannis ngorogiannis released this Jun 17, 2014 · 423 commits to master since this release

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.

Assets 2