The MOSEL group at LORIA in Nancy performs research, development, and education in the area of formal methods for the design and analysis of computerized systems.

Our group has more than a decade of experience concerning the precise description and analysis of systems, using different methods and tools. We advocate an approach based on the concept of refinement where crucial properties are already verified over a simple, abstract model of the system, and are maintained during the entire development phase.

Industrial projects help us to validate our ideas at the hand of realistic case studies and to apply our concepts to models expressed in state-of-the-art description languages.


Dominique Méry
B.P. 239
54506 Vandœuvre-lès-Nancy
Office: B266
tel: +
fax: +