Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. T. Ball, R. Majumdar, T.D. Millstein and S.K. Rajamani. Automatic Predicate Abstraction of C Programs. In Proc. ACM SIGPLAN’ 2001 Conf. PLDI, pp. 203-213, 2001. ACM Press.
2. T. Ball, T. Millstein, and S. Rajamani. Polymorphic predicate abstraction. Tech. rep. MSR-TR-2001-10, Microsoft Research, Redmond, 17 June 2002. 21 p.
3. T. Ball, A. Podelski, and S. Rajamani. Relative completeness of abstraction refinement for software model checking. In J.-P. Katoen and P. Stevens, eds., Proc. 8 th Int. Conf. TACAS’ 2002, LNCS 2280, pp. 158-172. Springer, 2002.
4. N. Bjørner, I.A. Browne and Z. Manna. Automatic Generation of Invariants and Intermediate Assertions. Theor. Comp. Sci., 173(1):49–87, 199
5. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. In Proc. ACM SIGPLAN’ 2003 Conf. PLDI, pp. 196-207, 2003. ACM Press.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11
2. Inferring functional properties of matrix manipulating programs by abstract interpretation;Formal Methods in System Design;2018-02-12
3. Modular Static Analysis of String Manipulations in C Programs;Static Analysis;2018
4. Abstract Symbolic Automata;ACM SIGPLAN Notices;2015-05-11
5. Abstract Symbolic Automata;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14