Author:
Jhala Ranjit,McMillan K. L.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;T. Ball,2002
2. Ball, T., Rajamani, S.K.: Generating abstract explanations of spurious counterexamples in c programs. Technical Report MSR-TR-2002-09, Microsoft (2002)
3. Lecture Notes in Computer Science;S. Chaki,2003
4. Clarke, E., Kroening, D., Sharygina, N., Yorav, K.: Predicate abstraction of ANSI–C programs using SAT. In: Formal Methods in System Design (FMSD), vol. 25, pp. 105–127 (September–November 2004)
5. Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symbolic Logic 22(3), 269–285 (1957)
Cited by
101 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Completeness of Interpolation Algorithms;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20
3. Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Abstract interpretation repair;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Induction duality: primal-dual search for invariants;Proceedings of the ACM on Programming Languages;2022-01-12