Enhancing Modular OO Verification with Separation Logic Wei-Ngan Chin1,2 Cristina David1 Huu Hai Nguyen2 Shengchao Qin3 1 National University of Singapore 2 Singapore-MIT…