Author:
Ball Thomas,Rajamani Sriram K.
Cited by
245 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
2. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk);Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29
4. Model-guided synthesis of inductive lemmas for FOL with least fixpoints;Proceedings of the ACM on Programming Languages;2022-10-31
5. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08