What's Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

Browse the full TACAS paper archive.