B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., The Astrée static analyzer

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, PLDI 2013, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

P. Cousot and R. Cousot, Invariance proof methods and analysis techniques for parallel programs, Automatic Program Construction Techniques, chapter 12, pp.243-271, 1984.

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. Cousot, R. Cousot, J. Feret, A. Miné, and X. , The AstréeA static analyzer

J. Feret, Static Analysis of Digital Filters, LNCS, vol.2986, pp.33-48, 2004.
DOI : 10.1007/978-3-540-24725-8_4
URL : https://hal.archives-ouvertes.fr/inria-00528447

C. Flanagan, S. N. Freund, and S. Qadeer, Thread-modular verification for sharedmemory programs, ESOP 2012, pp.262-277, 2002.
DOI : 10.1007/3-540-45927-8_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.583

C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems, vol.5, issue.4, pp.596-619, 1983.
DOI : 10.1145/69575.69577

L. Mauborgne and X. , Trace Partitioning in Abstract Interpretation Based Static Analyzers, ESOP 2005, pp.5-20, 2005.
DOI : 10.1007/978-3-540-31987-0_2

A. Miné, The octagon abstract domain. Higher-Order and Symbolic Computation, pp.31-100, 2006.

A. Miné, Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, ESOP 2011, pp.398-418, 2011.
DOI : 10.1007/978-3-540-30538-5_4

A. Miné, Relational Thread-Modular Static Value Analysis by Abstract Interpretation, VMCAI 2014, pp.39-58, 2014.
DOI : 10.1007/978-3-642-54013-4_3