Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.

Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham

Browse the full CAV paper archive.