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 and Bull are seeking a PhD student (Job 2010A)  

  VASY 2009 Activity Report (PDF)  

  Nicolas Coste's Doctorate Defense  

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.