Refining Approximations in Software Predicate Abstraction.

Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani

Browse the full TACAS paper archive.