HEX logic

The HEX logic is a language to describe structural invariants of heap data structures. An implementation of the HEX logic will be released as a open source software package in the next weeks.

You can download a companion technical report to our most recent submission at this link.