Skip to content

Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic
Compare
Choose a tag to compare
@reubenrowe reubenrowe released this 22 Nov 10:12
· 53 commits to master since this release
CPP17
1f2c26f

Release of the procedural termination prover described in the CPP'17 submission

Reuben N. S. Rowe and James Brotherston
Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

A compressed archive containing the source code, test suite and Linux x64 binaries is below.
See cyclist-prover.org for more information.

Assets 3