Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs.

Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll

Browse the full CAV paper archive.