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.