Author:
Komuravelli Anvesh,Gurfinkel Arie,Chaki Sagar
Publisher
Springer International Publishing
Reference38 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;A. Albarghouthi,2013
4. Alur, R., Benedikt, M., Etessami, K., Godefroid, P., Reps, T., Yannakakis, M.: Analysis of Recursive State Machines. TOPLAS 27(4), 786–818 (2005)
5. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic Predicate Abstraction of C Programs. SIGPLAN Not. 36(5), 203–213 (2001)
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets;Lecture Notes in Computer Science;2024-09-11
2. Inductive Approach to Spacer;Proceedings of the ACM on Programming Languages;2024-06-20
3. An Encoding for CLP Problems in SMT-LIB;Electronic Proceedings in Theoretical Computer Science;2024-04-23
4. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
5. Hierarchical Resource Orchestration Framework for Real-time Containers;ACM Transactions on Embedded Computing Systems;2024-01-10