Exploiting Pointer Analysis in Memory Models for Deductive Verification. - Quentin Bouillaguet; François Bobot; Mihaela Sighireanu; Boris Yakobowski (VMCAI, 2019)