On Shostak's decision procedure for combinations of theories-Reference-Cited by-同舟云学术

On Shostak's decision procedure for combinations of theories

Published:1996 Issue: Volume: Page:463-477
ISSN:0302-9743
Container-title:Automated Deduction — Cade-13
language:
Short-container-title:

Author:

Cyrluk David,Lincoln Patrick,Shankar Natarajan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61511-3_107.pdf

Reference19 articles.

1. R. S. Boyer and J S. Moore. A Computational Logic Handbook. Academic Press, New York, NY, 1988.

2. User Guide for theEhdmSpecification Language and Verification System, Version 6.1. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993. Three volumes.

3. Jeffrey V. Cook, Ivan V. Filippenko, Beth H. Levy, Leo G. Marcus, and Telis K. Menas. Formal computer verification in the state delta verification system (SDVS). In AIAA Computing in Aerospace VIII, pages 77–87, Baltimore, MD, October 1991. AIAA paper 91-3715.

4. volume 551 of Lecture Notes in Computer Science;D. Craigen,1991

5. S. Crocker. Comparison of Shostak's and Oppen's solvers. Unpublished manuscript, 1988.

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conditional Congruence Closure over Uninterpreted and Interpreted Symbols;Journal of Systems Science and Complexity;2019-02

2. Up-To Techniques for Weighted Systems;Tools and Algorithms for the Construction and Analysis of Systems;2017

3. Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions;International Journal of Parallel Programming;2006-02-07

4. Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn;Theoretical Aspects of Computing - ICTAC 2004;2005

5. Combining Decision Procedures;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003