Monotonic Abstraction for Programs with Dynamic Memory Heaps.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frdric Haziza, Ahmed Rezine

Browse the full CAV paper archive.