Lazy Annotation Revisited-Reference-Cited by-同舟云学术

Lazy Annotation Revisited

Published:2014 Issue: Volume: Page:243-259
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

McMillan Kenneth L.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_16

Reference25 articles.

1. Albarghouthi, A., Gurfinkel, A., Li, Y., Chaki, S., Chechik, M.: UFO: Verification with interpolants and abstract interpretation. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 637–640. Springer, Heidelberg (2013)

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

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

4. Lecture Notes in Computer Science;M. Barnett,2006

5. Bayless, S., Val, C.G., Ball, T., Hoos, H.H., Hu, A.J.: Efficient modular SAT solving for IC3. In: FMCAD, pp. 149–156. IEEE (2013)

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

1. Hyperproperty Verification as CHC Satisfiability;Lecture Notes in Computer Science;2024

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

3. Symbolic Model Construction for Saturated Constrained Horn Clauses;Frontiers of Combining Systems;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