VASY
Validation de systèmes
Validation of systems ^*

WHAT'S NEW?

Goals

People

Publications

Events

Projects

         CADP

         TRAIAN

Jobs

Contact us

Search

VASY FTP server

  VASY 2011 (Last) Activity Report  

Radu Mateescu is elected chairman of FMICS

Hubert Garavel receives the "Gay-Lussac Humboldt" Research Award

VASY is a research team of INRIA working in the area of formal methods applied to safety-critical systems. The research activities of VASY encompass formal specification languages and associated methodologies, compiling and rapid prototyping techniques, simulation, validation, verification, and testing. VASY develops advanced software tools, which are used in numerous case-studies, and is involved in several technology transfer projects with industrial partners.