Disjunctive Interpolants for Horn-Clause Verification-Reference-Cited by-同舟云学术

Disjunctive Interpolants for Horn-Clause Verification

Published:2013 Issue: Volume: Page:347-363
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Rümmer Philipp,Hojjat Hossein,Kuncak Viktor

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_24

Reference28 articles.

1. Lecture Notes in Computer Science;A. Albarghouthi,2012

2. Lecture Notes in Computer Science;A. Albarghouthi,2012

3. Lecture Notes in Computer Science;T. Ball,2002

4. Brillout, A., Kroening, D., Rümmer, P., Wahl, T.: An interpolating sequent calculus for quantifier-free Presburger arithmetic. Journal of Automated Reasoning 47, 341–367 (2011)

5. Cimatti, A., Griggio, A., Sebastiani, R.: Efficient generation of Craig interpolants in satisfiability modulo theories. ACM Trans. Comput. Log. 12(1), 7 (2010)

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

1. Boosting Constrained Horn Solving by Unsat Core Learning;Lecture Notes in Computer Science;2023-12-30

2. Interpolation and Quantifiers in Ortholattices;Lecture Notes in Computer Science;2023-12-30

3. Solving Constrained Horn Clauses over Algebraic Data Types;Lecture Notes in Computer Science;2023

4. Multi-phase invariant synthesis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. Learning to Synthesize Relational Invariants;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10