Program Analysis Is Harder Than Verification: A Computability Perspective.

Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato

Browse the full CAV paper archive.