R. Atkey and D. Sannella, ThreadSafe: Static Analysis for Java Concurrency, Electronic Communications of the EASST, vol.72, 2015.

,

S. Atzeni, G. Gopalakrishnan, Z. Rakamaric, D. H. Ahn, I. Laguna et al., ARCHER: Effectively Spotting Data Races in Large OpenMP Applications, 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp.53-62, 2016.

V. Basupalli, T. Yuki, S. Rajopadhye, A. Morvan, S. Derrien et al., ompVerify: Polyhedral Analysis for the OpenMP Programmer, OpenMP in the Petascale Era, vol.6665, pp.37-53, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00752626

N. E. Beckman, A Survey of Methods for Preventing Race Conditions, 2006.

M. H. Ter-beek, A. Fantechi, S. Gnesi, and F. Mazzanti, A State/Event-based Modelchecking Approach for the Analysis of Abstract System Properties, Sci. Comput. Program, vol.76, issue.2, pp.119-135, 2011.

S. Blackshear, N. Gorogiannis, P. W. O'hearn, and I. Sergey, RacerD: Compositional Static Race Detection, Proc. ACM Program. Lang. 2(OOPSLA), vol.144, pp.1-144, 2018.

T. Cramer, S. Schwitanski, F. Münchhalfen, C. Terboven, and M. S. Müller, An OpenMP Epoch Model for Correctness Checking, 2016 45th International Conference on Parallel Processing Workshops (ICPPW), pp.299-308, 2016.

R. De-nicola, A. Fantechi, S. Gnesi, and G. Ristori, An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems, Computer Networks and ISDN Systems, vol.25, issue.7, pp.761-778, 1993.

, , pp.90047-90055

R. De-nicola and F. Vaandrager, Action versus State Based Logics for Transition Systems, Semantics of Systems of Concurrent Processes: Proceedings of the LITP Spring School on Theoretical Computer Science, vol.469, pp.407-419, 1990.

A. Fantechi, S. Gnesi, and G. Ristori, From ACTL to Mu-Calculus, Proceedings of the ERCIM Workshop on Theory and Practice in Verification, pp.3-10, 1992.

A. Fantechi, S. Gnesi, and G. Ristori, Model Checking for ActionBased Logics, Formal Methods in System Design, vol.4, issue.2, pp.187-203, 1994.

,

A. Fantechi, S. Gnesi, and G. Ristori, Modelling Transition Systems within an Action Based Logic, IEI-CNR, 1996.

H. Garavel, F. Lang, and R. Mateescu, Compositional Verification of Asynchronous Concurrent Systems Using CADP, Acta Informatica, vol.52, issue.4, pp.337-392, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01138749

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, F. Lang, and W. Serwe, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.10500, pp.3-26, 2017.

S. Gnesi and F. Mazzanti, On the Fly Verification of Network of Automata, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'1999, pp.1040-1046, 1999.

N. Gorogiannis, P. W. O'hearn, and I. Sergey, A True Positives Theorem for a Static Race Detector, Proc. ACM Program. Lang. 3(POPL), vol.57, 2019.

O. K. Ha, Y. J. Kim, M. H. Kang, and Y. K. Jun, Empirical Comparison of Race Detection Tools for OpenMP Programs, Grid and Distributed Computing, pp.108-116, 2009.

O. K. Ha, I. B. Kuh, G. M. Tchamgoue, and Y. K. Jun, On-the-fly Detection of Data Races in OpenMP Programs, Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, vol.2012, pp.1-10, 2012.

T. A. Henzinger, R. Jhala, and R. Majumdar, Race checking by context inference, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI, pp.1-13, 2004.

M. H. Kang, O. K. Ha, S. W. Jun, and Y. K. Jun, A Tool for Detecting First Races in OpenMP Programs, Parallel Computing Technologies, pp.299-303, 2009.

Y. Kim, S. Song, and Y. Jun, ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs, 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications, pp.304-310, 2011.

Y. J. Kim, M. Y. Park, S. H. Park, and Y. K. Jun, A Practical Tool for Detecting Races in OpenMP Programs, Parallel Computing Technologies, pp.321-330, 2005.

F. Lang, R. Mateescu, and F. Mazzanti, Compositional Verification of Concurrent Systems by Combining Bisimulations, Proceedings of the 3rd World Congress on Formal Methods FM'2019, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02295459

Y. Lin, Static Nonconcurrency Analysis of OpenMP Programs, Proceedings of the 2005 and 2006 International Conference on OpenMP Shared Memory Parallel Programming, pp.36-50, 2008.

H. Ma, S. R. Diersen, L. Wang, C. Liao, D. Quinlan et al., Symbolic Analysis of Concurrency Errors in OpenMP Programs, 2013 42nd International Conference on Parallel Processing, pp.510-516, 2013.

R. Mateescu, CAESAR SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.8, issue.1, pp.37-56, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00084628

R. Mateescu and W. Serwe, Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols, Science of Computer Programming, vol.78, issue.7, pp.843-861, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00671321

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent ValuePassing Systems, Proceedings of the 15th International Symposium on Formal Methods (FM'08), vol.5014, pp.148-164, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

R. Mateescu and A. Wijs, Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity, Sci. Comput. Program, vol.96, issue.3, pp.354-376, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01016922

H. Mkaouar, B. Zalila, J. Hugues, and M. Jmaiel, From AADL Model to LNT Specification, Proceedings of the 20th ADA-Europe International Conference on Reliable Software Technologies (AdaEurope'15), vol.9111, pp.146-161, 2015.

R. Nakade, E. Mercer, P. Aldous, and J. Mccarthy, Model-Checking Task Parallel Programs for Data-Race, NASA Formal Methods, pp.367-382, 2018.

, OpenMP Architecture Review Board: OpenMP Application Programming Interface, 2018.

, Thread Analyzer User's Guide, vol.12, 2017.

P. Petersen and S. Shah, OpenMP Support in the Intel R Thread Checker, OpenMP Shared Memory Parallel Programming, pp.1-12, 2003.

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, Eraser: A Dynamic Data Race Detector for Multithreaded Programs, ACM Trans. Comput. Syst, vol.15, issue.4, pp.391-411, 1997.

D. Shah, Analysis of an OpenMP Program for Race Detection, 2009.

M. Süß and C. Leopold, Common Mistakes in OpenMP and How to Avoid Them: A Collection of Best Practices, Proceedings of the 2005 and 2006 International Conference on OpenMP Shared Memory Parallel Programming, pp.312-323

, IWOMP'05/IWOMP'06, 2008.