Deciding Equality Formulas by Small Domains Instantiations

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-48683-6_39 ◽

1999 ◽

pp. 455-469 ◽

Author(s):

Amir Pnueli ◽

Yoav Rodeh ◽

Ofer Shtrichman ◽

Michael Siegel

Download Full-text