N. Blanc, A. Groce, and D. Kroening, Verifying C++ with STL containers via predicate abstraction, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.521-524, 2007.
DOI : 10.1145/1321631.1321724
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.2875

C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, and M. Rinard, Using First-Order Theorem Provers in the Jahob Data Structure Verification System, VMCAI 2007, pp.74-88, 2007.
DOI : 10.1007/978-3-540-69738-1_5

S. Conchon and E. Contejean, The Alt-Ergo automatic theorem prover, 2008.

L. De-moura and N. Bjørner, Z3: An Efficient SMT Solver
DOI : 10.1007/978-3-540-78800-3_24

D. Detlefs, G. Nelson, and J. B. Saxe, Simplify: a theorem prover for program checking, Journal of the ACM, vol.52, issue.3, pp.365-473, 2005.
DOI : 10.1145/1066100.1066102

I. Dillig, T. Dillig, and A. Aiken, Precise reasoning for programs using containers, Proceedings of the 11th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, 2011.

J. Filliâ-t-r-e and C. R-c-h-´-e, The Why/Krakatoa/Caduceus Platform for Deductive Program Verification, CAV 2007, pp.173-177, 2007.

D. Gregor and S. Schupp, STLlint: lifting static checking from languages to libraries, Software: Practice and Experience, vol.33, issue.3, pp.225-254, 2006.
DOI : 10.1002/spe.683

P. Kosiuczenko, An Abstract Machine for the Old Value Retrieval, MPC 2010, pp.229-247, 2010.
DOI : 10.1007/978-3-642-13321-3_14

J. Rushby, Formalism in safety cases Making Systems Safer, Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, pp.3-17, 2010.

J. T. Schwarz, Programming with sets: an introduction to SETL, 1986.
DOI : 10.1007/978-1-4613-9575-1

J. Souyris, V. Wiels, D. Delmas, and H. Delseny, Formal Verification of Avionics Software Products, FM 2009, pp.532-546, 2009.
DOI : 10.1007/978-3-642-05089-3_34

K. Zee, V. Kuncak, and M. Rinard, Full functional verification of linked data structures, Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008, pp.349-361, 2008.