This website uses cookies to help us give you the best experience when you visit our website. By continuing to use this website, you consent to our use of these cookies.
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.