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 条
  • [31] A new approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
    Baader, F
    Tinelli, C
    AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 19 - 33
  • [32] Decision Combining in Relay Networks
    Ara, Sharmin R.
    Viswanathan, R.
    PROCEEDINGS OF ICECE 2008, VOLS 1 AND 2, 2008, : 221 - +
  • [33] DECISION TABLES IN ADMISSION PROCEDURES
    LUSE, FD
    MEYER, SR
    INDIAN JOURNAL OF SOCIAL WORK, 1980, 40 (04): : 399 - 406
  • [34] DECISION PROCEDURES FOR SAFEGUARDS SYSTEMS
    AVENHAUS, R
    INFORMATION AND DECISION TECHNOLOGIES, 1990, 16 (03): : 229 - 247
  • [35] Decision procedures for the Grand challenge
    Kroening, Daniel
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 428 - 437
  • [36] Decision Procedures for Sequence Theories
    Jez, Artur
    Lin, Anthony W.
    Markgraf, Oliver
    Ruemmer, Philipp
    COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 18 - 40
  • [37] ON THE ASYMPTOTIC BEHAVIOR OF DECISION PROCEDURES
    LADERMAN, J
    ANNALS OF MATHEMATICAL STATISTICS, 1955, 26 (04): : 551 - 575
  • [38] Decision procedures for safeguards systems
    Avenhaus, Rudolf
    Information and decision technologies Amsterdam, 1990, 16 (03): : 229 - 247
  • [39] Turning decision procedures into disprovers
    Rognes, Andre
    MATHEMATICAL LOGIC QUARTERLY, 2009, 55 (01) : 87 - 104
  • [40] Decision procedures for BDI logics
    Rao, AS
    Georgeff, MP
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 293 - 343
12345