Be notified of new releases
Create your free GitHub account today to subscribe to this repository for new releases and build software alongside 28 million developers.Sign up
Release of the model checker described in the POPL'16 submission
James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe
Model checking for symbolic-heap separation logic with inductive predicates
A compressed archive containing the test suite and Linux x64 binaries is below.
See doc/README.POPL16 for more information.