Skip to content

Disproving Inductive Entailments in Separation Logic via Base Pair Approximation
Compare
Choose a tag to compare
@ngorogiannis ngorogiannis released this 13 Jul 15:54
· 254 commits to master since this release
TABLEAUX15
ec52486

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