VASY - Validation de systèmes
Ancienne Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
Téléphone/Fax : 
04.76.61.52.00
Bâtiment : 
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.
 
Mots clés : 
S'abonner à RSS - VASY