Skip to content

@ngorogiannis ngorogiannis released this Jul 13, 2015 · 244 commits to master since this release

Release of the tool and test suite described in the TABLEAUX15 submission:

James Brotherston and Nikos Gorogiannis.
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation

A pre-compiled version of the code can be found below.

Assets 3