Author:
Blanc Régis,Gupta Ashutosh,Kovács Laura,Kragl Bernhard
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. iZ3 Documentation,
http://research.microsoft.com/en-us/um/redmond/projects/z3/old/iz3documentation.html
2. Lecture Notes in Computer Science;A. Albarghouthi,2012
3. Craig, W.: Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. J. of Symbolic Logic 22(3), 269–285 (1957)
4. Lecture Notes in Computer Science;L. Moura de,2008
5. Gupta, A., Popeea, C., Rybalchenko, A.: Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs. In: Proc. of POPL, pp. 331–344 (2011)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT;Automated Deduction – CADE 29;2023
2. SMT-based verification of program changes through summary repair;Formal Methods in System Design;2022-06
3. Semantics-guided synthesis;Proceedings of the ACM on Programming Languages;2021-01-04
4. Verifying correct usage of context-free API protocols;Proceedings of the ACM on Programming Languages;2021-01-04
5. Domain-independent interprocedural program analysis using block-abstraction memoization;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-08