Combining Decision Procedures

Zohar Manna and Calogero Zarba

We give a detailed survey of the current state-of-the-art methods for combining decision procedures. We review the Nelson-Oppen combination method, Shostak method, and some very recent results on the combination of theories over non-disjoint signatures.

In Formal Methods at the Crossroads: from Panacea to Foundational Support, LNCS 2787, Springer-Verlag, 2003.

Postscript, PDF. © 2003, Springer Verlag.

© Henny Sipma /
Last modified: Thu Jan 12 14:40:50 PDT 2004