Invariant Proving
Reference21 articles.
1. T. Ball, R. Majumdar, T. Millstein, and S. Rajamani. Automatic Predicate Abstraction of C Programs. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2001), pages 201–213, Snowbird, UT, 2001. ACM Press.
2. LNCS;T Ball,2001
3. LNCS;RE Bryant,2002
4. LNCS;EM Clarke,2000
5. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Approximation or Analysis of Fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages (POPL 1977), pages 238–252, Los Angeles, CA, 1977. ACM Press.