T. Ball, K. Sriram, and . Rajamani, The SLAM project: Debugging System Software via Static Analysis. SIGPLAN Not, 2002.

G. Berthelot, Checking properties of nets using transformation, Advances in Petri Nets 1985, Covers the 6th European Workshop on Applications and Theory in Petri Nets-selected Papers, pp.19-40, 1986.

S. Chaki, E. M. Clarke, A. Groce, S. Jha, and H. Veith, Modular verification of software components in c, IEEE Trans. Software Eng, vol.30, issue.6, pp.388-402, 2004.

E. M. Clarke, O. Grumberg, and D. E. Long, Model Checking and Abstraction, ACM Trans. Program. Lang. Syst, vol.16, issue.5, pp.1512-1542, 1994.

E. M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking, 1999.

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C: A Software Analysis Perspective, Proceedings of the 10th international conference on Software Engineering and Formal Methods, SEFM'12, pp.233-247, 2012.

W. Edsger and . Dijkstra, Cooperating sequential processes, Programming Languages: NATO Advanced Study Institute, pp.43-112, 1968.

J. Fernandez, L. Mounier, C. Jard, and T. Jron, On-the-fly verification of finite transition systems, Formal Methods in System Design, vol.1, issue.2-3, pp.251-273, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00074812

P. Godefroid, Model Checking for Programming Languages using VeriSoft, Proceeedings of the 24th ACM Symposium on Principles of Programming Languages, pp.174-186, 1997.

U. Goltz, R. Kuiper, and W. Penczek, Propositional Temporal Logics and Equivalences, Lecture Notes in Computer Science, vol.92, pp.222-236, 1992.

S. Graf and H. Sa¨?disa¨?di, Construction of Abstract State Graphs with PVS, Proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, pp.72-83, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01974178

S. Haddad and J. Pradat-peyre, New Efficient Petri Nets Reductions for Parallel Programs Verification, Parallel Processing Letters, vol.16, issue.1, pp.101-116, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01125149

T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Software Verification with BLAST, pp.235-239, 2003.

G. J. Holzmann, The Model Checker SPIN, IEEE Trans. Software Eng, vol.23, issue.5, pp.279-295, 1997.

L. Lamport, The Temporal Logic of Actions, ACM Trans. Program. Lang. Syst, vol.16, issue.3, pp.872-923, 1994.

L. Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

M. Lemerre, E. Ohayon, D. Chabrol, M. Jan, and M. Jacques, Method and Tools for MixedCriticality Real-Time Applications within PharOS, Proceedings of AMICS 2011: 1st International Workshop on Architectures and Applications for Mixed-Criticality Systems, 2011.

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, 1992.

A. Methni, M. Lemerre, B. Ben-hedia, S. Haddad, and K. Barkaoui, Specifying and Verifying Concurrent C Programs with TLA+, Formal Techniques for Safety-Critical Systems, vol.476, pp.206-222, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242954

L. I. Millett and T. Teitelbaum, Issues in Slicing PROMELA and its Applications to Model Checking, Protocol Understanding, and Simulation, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.343-349, 2000.

G. C. Necula, S. Mcpeak, P. Shree, W. Rahul, and . Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, International Conference on Compiler Construction, pp.213-228, 2002.

M. Raynal, Concurrent Programming: Algorithms, Principles, and Foundations, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00922217

A. S. Tanenbaum, Modern Operating Systems, 2007.

F. Tip, A Survey of Program Slicing Techniques, Journal of Programming Languages, vol.3, pp.121-189, 1995.

A. Valmari, Stubborn Sets for Reduced State Space Generation, Proceedings of the Tenth International Conference on Application and Theory of Petri Nets, pp.1-22, 1989.

W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model Checking Programs. Automated Software Engg, vol.10, issue.2, pp.203-232, 2003.

W. Weimer, S. Forrest, C. L. Goues, and T. Nguyen, Automatic Program Repair with Evolutionary Computation, Commun. ACM, vol.53, issue.5, pp.109-116, 2010.

M. Weiser, Program Slicing, Proceedings of the 5th International Conference on Software Engineering, ICSE '81, pp.439-449, 1981.