The WhyRel Prototype for Modular Relational Verification of Pointer Programs.

Ramana Nagasamudram, Anindya Banerjee, David A. Naumann

Browse the full TACAS paper archive.