Automated Mutual Explicit Induction Proof in Separation Logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Browse the full FM paper archive.