Author:
Bjørner Nikolaj,Gurfinkel Arie,McMillan Ken,Rybalchenko Andrey
Publisher
Springer International Publishing
Cited by
155 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ownership Types for Verification of Programs with Pointer Arithmetic;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Farkas Bounds on Horn Constraint Systems;Theory of Computing Systems;2024-01-06
3. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
4. Boosting Constrained Horn Solving by Unsat Core Learning;Lecture Notes in Computer Science;2023-12-30
5. CHC Model Validation with Proof Guarantees;iFM 2023;2023-11-06