Abstract Counterexample-based Refinement for Powerset Domains

Roman Manevich, John Field, Thomas. A. Henzinger, Ganesan Ramalingam, and Mooly Sagiv

Details

Publication typeInproceedings
Published inProgram Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm
> Publications > Abstract Counterexample-based Refinement for Powerset Domains