Author:
Beyene Tewodros A.,Popeea Corneliu,Rybalchenko Andrey
Publisher
Springer Berlin Heidelberg
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
2. HFL(Z) Validity Checking for Automated Program Verification;Proceedings of the ACM on Programming Languages;2023-01-09
3. Solving Constrained Horn Clauses over Algebraic Data Types;Lecture Notes in Computer Science;2023
4. OptiRica: Towards an Efficient Optimizing Horn Solver;Electronic Proceedings in Theoretical Computer Science;2022-11-22
5. Analysis and Transformation of Constrained Horn Clauses for Program Verification;Theory and Practice of Logic Programming;2021-11-15