Combining decision procedures

被引：0
|
作者：
Manna, Z [1 ]
Zarba, CG [1 ]
机构：
[1] Stanford Univ, Stanford, CA 94305 USA
来源：
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT | 2003年 / 2757卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：381 / 422
页数：42
相关论文
共 50 条
12345