VASY INRIA Grenoble INP
LIG INRIA Rhône-Alpes

VASY
Validation de systèmes
Validation of systems *

WHAT'S NEW?

Goals

People

Publications

Events

Projects

Software:

         CADP UPDATED!

         TRAIAN UPDATED!

Jobs

Contact us

Search

VASY FTP server


NEW!   Web site of the CONVECS team   NEW!

VASY 2011 (Last) Activity Report

Radu Mateescu is elected chairman of FMICS

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


VASY (1996-2011) was a research team of INRIA and LIG working in the area of formal methods applied to safety-critical systems. The research activities of VASY encompassed formal specification languages and associated methodologies, compiling and rapid prototyping techniques, simulation, validation, verification, and testing. VASY developed advanced software tools, which have been used in numerous case-studies, and was involved in several technology transfer projects with industrial partners.

The VASY Team (in 2011)


Version 2.140. Date 2013/01/02 11:52:42

* The name VASY is a pun as in French "Vas-y !" means "go on!"

Google translations: French flag
Français
German flag
Deutsch
Spanish flag
Español
Italian flag
Italiano
Portuguese flag
Português