HeapHopper is a bounded model checking framework for Heap-implementations - View it on GitHub