Combining Predicate and Numeric Abstraction for Software Model Checking.

Arie Gurfinkel, Sagar Chaki

Browse the full FMCAD paper archive.