Author:
Ball Thomas,Rajamani Sriram K.
Cited by
244 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. 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
3. Model-guided synthesis of inductive lemmas for FOL with least fixpoints;Proceedings of the ACM on Programming Languages;2022-10-31
4. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08
5. An Extention of Lazy Abstraction and Refinement for Program Verification;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06