Skip to content

Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
Compare
Choose a tag to compare
@ngorogiannis ngorogiannis released this 17 Jun 14:21
· 433 commits to master since this release
SAS14
b22c6af

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