Author:
Bofill Miquel,Nieuwenhuis Robert,Oliveras Albert,Rodríguez-Carbonell Enric,Rubio Albert
Publisher
Springer Berlin Heidelberg
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs;Lecture Notes in Computer Science;2024-09-11
2. Scalable Verification of Zero-Knowledge Protocols;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
4. Data-driven Recurrent Set Learning For Non-termination Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Super-optimization of Smart Contracts;ACM Transactions on Software Engineering and Methodology;2022-07-12