G. Barthe, D. Gurov, and M. Huisman, Compositional Verification of Secure Applet Interactions, Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering FASE'02 number 2306 in Lecture Notes in Computer Science, pp.15-32, 2002.
DOI : 10.1007/3-540-45923-5_2

F. Brazier, F. Cornelissen, R. Gustavsson, C. M. Jonker, O. Lindeberg et al., Compositional design and verification of a multi-agent system for one-to-many negotiation, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160), 1998.
DOI : 10.1109/ICMAS.1998.699031

G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi, and F. Zulian, Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS, Proceedings of the Joint International Conference on Formal Description Techniques for INRIA Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96, pp.435-450, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073740

S. C. Cheung and J. Kramer, Checking safety properties using compositional reachability analysis, ACM Transactions on Software Engineering and Methodology, vol.8, issue.1, pp.49-78, 1999.
DOI : 10.1145/295558.295570

J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, R. et al., Bandera, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.439-448, 2000.
DOI : 10.1145/337180.337234

H. Manuel-aguilar-cornejo, R. Garavel, and P. Mateescu, Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications, Proceedings of the 3rd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems DAIS'2001, pp.229-242, 2001.

H. Garavel, . Open, and . Caesar, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001, pp.377-392, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, and R. Mateescu, An Overview of CADP European Association for Software Science and Technology (EASST) Newsletter, pp.13-24, 2001.

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Analysing the behaviour of distributed systems using TRACTA, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999.
DOI : 10.1023/A:1008645800955

S. Graf, B. Steffen, and G. Lüttgen, Compositional minimisation of finite state systems using interface specifications, Formal Aspects of Computing, vol.17, issue.5, pp.607-616, 1996.
DOI : 10.1007/BF01211911

S. Graf and B. Steffen, Compositional minimization of finite state systems, Proceedings of the 2nd Workshop on Computer-Aided Verification, pp.186-196, 1990.
DOI : 10.1007/BFb0023732

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

G. Jia and S. Graf, Verification experiments on the MASCARA protocol, Proceedings of the 8th International SPIN Workshop on Model Checking of Software SPIN'2001, pp.123-142, 2001.
DOI : 10.1007/3-540-45139-0_8

J. Krimm and L. Mounier, Compositional State Space Generation from LOTOS Programs Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of TACAS'97, 1997.

F. Lang, Compositional Verification Using SVL Scripts, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2002, pp.465-469, 2002.
DOI : 10.1007/3-540-46002-0_33

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon, The Objective Caml system (relase 3.06), documentation and user's manual, 2002.

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

W. De-roever, U. Frank-de-boer, J. Hanneman, and . Hooman, Yassine Lakhnech, Mannes Poel, and Job Zwiers. Concurrency Verification ? Introduction to Compositional and Noncompositional Methods, volume 54 of Cambridge Tracts in Theoretical Computer Science, 2001.

K. K. Sabnani, A. M. Lapone, and M. U. Uyar, An algorithmic procedure for checking safety properties of protocols, IEEE Transactions on Communications, vol.37, issue.9, pp.940-948, 1989.
DOI : 10.1109/26.35374

R. J. Van-glabbeek and W. P. Weijland, Branching-Time and Abstraction in Bisimulation Semantics (extended abstract). CS R8911, Centrum voor Wiskunde en Informatica, Also in proc. IFIP 11th World Computer Congress, 1989.

W. Visser, K. Havelund, G. Brat, and S. Park, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.3-12, 2000.
DOI : 10.1109/ASE.2000.873645

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. Editeur and . De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399