VERIMAG
	VERIMAG Centre Equation 2, avenue de Vignate 38610 Gieres France http://www-verimag.imag.fr

VERIMAG is a joint laboratory of CNRS (Centre National de la Recherche Scientifique), INPG (Institut National Polytechnique de Grenoble) and UJF (Université Joseph Fourier).

The work undertaken at VERIMAG aims at developing methods and tools for the design of real-time safety critical applications. Emphasis is put on validation methods and tools including verification and automatic test case generation. Most of the effort concerns two application domains which can be characterized by the type of languages used:

• Synchronous languages, such as the languages Lustre and Argos developed in VERIMAG, dedicated to the programming of real time systems.
• Asynchronous languages for the specification of distributed systems and protocols, such as SDL and Lotos, for which dedicated environments of validation have been developed.

VERIMAG plays a significant role in the promotion of formal methods application to critical systems development. It has a wide spectrum of competences in synchronous programming, specification of protocols and distributed systems, techniques for the analysis of timed and hybrid systems, and the development of new verification methods (in particular for infinite state systems).

VERIMAG tries to maintain a balance between fundamental, experimental and applied research, in particular thanks to durable co-operations with industrial partners.The interaction with industrial problems contributes to the research in two main aspects:

• identification of original and interesting work directions,
• support of work by contractual resources.

VERIMAG coordinates the French national project FORMA and the European Esprit-LTR projects SYRF and VHS. It participates to the Esprit projects VIRES and CRISYS.

Research staff: VERIMAG has 10 professors and lecturers, 7 full time researchers, 14 PhD students and several visiting professors, post-doc and master students.