Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.

Cristina David, Daniel Kroening, Matt Lewis

Browse the full ESOP paper archive.