Tricera: Verifying C Programs Using the Theory of Heaps.

Zafer Esen, Philipp Rmmer

Browse the full FMCAD paper archive.