P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot and R. Cousot, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992.
DOI : 10.1093/logcom/2.4.511

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C -a software analysis perspective, LNCS, vol.7504, pp.233-247, 2012.

L. Correnson and J. Signoles, Combining Analyses for C Program Verification, FMICS, pp.108-130, 2012.
DOI : 10.1007/978-3-642-32469-7_8

P. Cuoq, V. Prevosto, and B. Yakobowski, Frama-C's value analysis plug-in. URL http

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Framac: A software analysis perspective, Formal Asp, Comput, vol.27, issue.3, pp.573-609, 2015.

B. Mihaila and A. Simon, Synthesizing Predicates from Abstract Domain Losses, NASA Formal Methods -6th International Symposium, pp.328-342, 2014.
DOI : 10.1007/978-3-319-06200-6_28

F. Nielson, H. R. Nielson, and C. Hankin, Principles of program analysis, 2005.
DOI : 10.1007/978-3-662-03811-6

F. Bourdoncle, Efficient chaotic iteration strategies with widenings, pp.128-141, 1993.
DOI : 10.1007/BFb0039704

S. Sankaranarayanan, M. Colón, H. B. Sipma, and Z. Manna, Efficient Strongly Relational Polyhedral Analysis, Verification, Model Checking, and Abstract Interpretation, 7th International Conference, pp.111-125, 2006.
DOI : 10.1007/11609773_8

M. Sozeau and N. Oury, First-Class Type Classes, 21st International Conference, pp.278-293, 2008.
DOI : 10.1007/11542384_8
URL : https://hal.archives-ouvertes.fr/inria-00628864

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

R. Giacobazzi and F. Ranzato, Optimal domains for disjunctive abstract interpretation, Science of Computer Programming, vol.32, issue.1-3, pp.177-210, 1998.
DOI : 10.1016/S0167-6423(97)00034-8

R. Bagnara, P. M. Hill, and E. Zaffanella, Widening operators for powerset domains, Model Checking, and Abstract Interpretation, 5th International Conference, pp.135-148, 2004.

S. Sankaranarayanan, F. Ivancic, I. Shlyakhter, and A. Gupta, Static Analysis in Disjunctive Numerical Domains, Static Analysis, 13th International Symposium, SAS, pp.3-17, 2006.
DOI : 10.1007/11823230_2

C. Popeea and W. Chin, Inferring Disjunctive Postconditions, 11th Asian Computing Science Conference, pp.331-345, 2006.
DOI : 10.1007/11823230_2

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Static analysis and verification of aerospace software by abstract interpretation, Proc. of AIAA Infotech@Aerospace, p.38, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00528611

J. Chen and P. Cousot, A Binary Decision Tree Abstract Domain Functor, Static Analysis -22nd International Symposium, SAS 2015, pp.36-53, 2015.
DOI : 10.1007/978-3-662-48288-9_3

M. Handjieva and S. Tzolovski, Refining Static Analyses by Trace-Based Partitioning Using Control Flow, Static Analysis, 5th International Symposium , SAS, pp.200-214, 1998.
DOI : 10.1007/3-540-49727-7_12

L. Mauborgne and X. , Trace Partitioning in Abstract Interpretation Based Static Analyzers, Programming Languages and Systems, 14th European Symposium on Programming, ESOP, pp.5-20, 2005.
DOI : 10.1007/978-3-540-31987-0_2

M. Das, S. Lerner, and M. Seigle, ESP: path-sensitive program verification in polynomial time, Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.57-68, 2002.

A. Gurfinkel and S. Chaki, Boxes: A Symbolic Abstract Domain of Boxes, Static Analysis -17th International Symposium, SAS, pp.287-303, 2010.
DOI : 10.1007/978-3-642-15769-1_18

C. Urban and A. Miné, A Decision Tree Abstract Domain for Proving Conditional Termination, Static Analysis -21st International Symposium, SAS, 2014, pp.302-318
DOI : 10.1007/978-3-319-10936-7_19
URL : https://hal.archives-ouvertes.fr/hal-01105221

P. Cousot, R. Cousot, and L. Mauborgne, A Scalable Segmented Decision Tree Abstract Domain, pp.72-95, 2010.
DOI : 10.1007/3-540-61739-6_53
URL : https://hal.archives-ouvertes.fr/inria-00543632

S. Graf and H. Saïdi, Verifying invariants using theorem proving, LNCS, vol.1102, pp.196-207, 1996.
DOI : 10.1007/3-540-61474-5_69

E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexampleguided abstraction refinement, Computer Aided Verification, 12th International Conference, CAV, pp.154-169, 2000.

A. Gurfinkel and S. Chaki, Combining predicate and numeric abstraction for software model checking, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.409-427, 2010.
DOI : 10.1007/s10009-010-0162-x

D. Beyer, T. A. Henzinger, and G. Théoduloz, Program Analysis with Dynamic Precision Adjustment, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.29-38, 2008.
DOI : 10.1109/ASE.2008.13

J. Fischer, R. Jhala, and R. Majumdar, Joining dataflow with predicates, pp.227-236, 2005.

A. Cortesi, G. Costantini, and P. Ferrara, A Survey on Product Operators in Abstract Interpretation, Electronic Proceedings in Theoretical Computer Science, vol.129, pp.325-336, 2013.
DOI : 10.4204/EPTCS.129.19

A. Miné, Symbolic Methods to Enhance the Precision of Numerical Abstract Domains, 7th International Conference, VMCAI, pp.348-363, 2006.
DOI : 10.1007/11609773_23

M. Heizmann, J. Hoenicke, and A. Podelski, Software Model Checking for People Who Love Automata, Computer Aided Verification -25th International Conference, pp.36-52, 2013.
DOI : 10.1007/978-3-642-39799-8_2

J. Jourdan, V. Laporte, S. Blazy, X. Leroy, and D. Pichardie, A formally-verified C static analyzer, Proceedings of the 42nd Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, pp.2015-247
URL : https://hal.archives-ouvertes.fr/hal-01078386