VASY - Validation de systèmes
Ancienne Joint research project-team INRIA and CNRS, Grenoble INP, UGA
Leader: 
Phone: 
04.76.61.52.00
VASY est une équipe-projet de l’INRIA travaillant dans le domaine des méthodes formelles appliquées à la sûreté des systèmes critiques. Les activités de recherche de VASY portent sur les langages de spécification formels et les méthodologies associées, la compilation et les techniques de prototypage rapide, la simulation, la validation, la vérification et le test. VASY développe des outils logiciels avancés, qui sont utilisés dans de nombreuses études de cas, et est impliquée dans plusieurs projets de transfert de technologie avec des partenaires industriels.
 
Keywords: 

Historique

L'équipe VASY est arrêtée depuis le 31/12/2011.

Subscribe to RSS - VASY