S. V. Adve and K. Gharachorloo, Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, pp.66-76, 1996.
DOI : 10.1109/2.546611
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5742

A. Radio and . Inc, ARINC) ARINC 653

M. F. Atig, A. Bouajjani, S. Burckhardt, and M. Musuvathi, On the verification problem for weak memory models, 37th ACM SIGACT/SIGPLAN Symp. on Principles of Prog. Lang, pp.7-18, 2010.

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

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, ACM SIGPLAN Conf. on Prog. Lang. Design and Implementation, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

J. Carré and C. Hymans, From single-thread to multithreaded: An efficient static analysis algorithm, 2009.

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/inria-00528590

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

W. De-roever, F. De-boer, U. Hanneman, J. Hooman, Y. Lakhnech et al., Concurrency Verification: Introduction to Compositional and Noncompositional Methods, 2001.

D. Delmas and J. Souyris, Astr??e: From Research to Industry, SAS'07, pp.437-451, 2007.
DOI : 10.1007/978-3-540-74061-2_27

P. Ferrara, Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model, TAP'08, pp.116-133, 2008.
DOI : 10.1007/978-3-540-79124-9_9

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems ? An Approach to the State-Explosion Problem, 1994.

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.690-691
DOI : 10.1109/TC.1979.1675439

J. Manson, B. Pugh, and S. V. Adve, The Java memory model, 32nd ACM SIGPLAN/SIGACT Symp. on Principles of Prog. Lang, pp.378-391, 2005.

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

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

S. Owicki and D. Gries, An axiomatic proof technique for parallel programs I, Acta Informatica, vol.11, issue.4, pp.319-340, 1976.
DOI : 10.1007/BF00268134

S. Qadeer and J. Rehof, Context-Bounded Model Checking of Concurrent Software, TACAS'05, pp.93-107, 2005.
DOI : 10.1007/978-3-540-31980-1_7

J. C. Reynolds, Toward a Grainless Semantics for Shared-Variable Concurrency, FSTTCS'04, pp.35-48, 2004.
DOI : 10.1007/978-3-540-30538-5_4

V. A. Saraswat, R. Jagadeesan, M. M. Michael, and C. Von-praun, A theory of memory models, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, pp.161-172, 2007.
DOI : 10.1145/1229428.1229469

B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.32-41, 1996.
DOI : 10.1145/237721.237727