Inria
Inria.fr
Inria Channel
Il y a 8 Résultats avec le mot clé : "Méthodes formelles"
Partenariat scientifique
Forum 2011 Labo MSR-Inria
Le 12 avril prochain, l'Inria et Microsoft Research organisent, au Centre de conférence de Microsoft-France à Issy-les-Moulineaux, la journée annuelle de présentation des équipes de recherche du laboratoire commun. Lors de ce Forum 2011, les chercheurs rendront publics les travaux de leurs 8 équipes de recherche. Un programme chargé de conférences et de démonstrations, témoin de la qualité de la collaboration scientifique au sein de ce jeune laboratoire.
Mots-clés :
- Microsoft research
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
- Laboratoire commun
- Saclay - Île-de-France
Accueil > Actualité > Actualités Inria > Forum 2011 Labo MSR-Inria
Laboratoire commun
Forum Microsoft Research Inria 2011
Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.
Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux
Intervenants : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure
Mots-clés :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011
Showroom des démos
Vérification de systèmes embarqués critiques avec CADP 2009
Le développement de systèmes embarqués critiques nécessite des outils permettant d'en assurer la fiabilité dès les premières phases de leur conception. La boîte à outils logiciels CADP permet la modélisation et la vérification formelle de ces systèmes. Nous illustrons l'utilisation de CADP dans le cadre de plusieurs études de cas avioniques.
Mots-clés :
Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Vérification de systèmes embarqués critiques avec CADP 2009
Séminaire - Sécurité
Séminaire "Sécurité & méthodes formelles"
Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier
Intervenants : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG
Mots-clés :
Accueil > Centre > Rennes > Agenda > Séminaire "Sécurité & méthodes formelles"
© Inria / Photo S. Tetu - La Company
Recherche
Deducteam
Nous avons rencontré Gilles Dowek, responsable de l’équipe Deducteam créée le 1er janvier dernier.
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Actualités > Deducteam
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Lieu : Inria - Antenne Parisienne, 23 avenue d'Italie - Paris 13ème
Intervenants : Yves Bertot (Inria), Pierre Castéran (U Bordeaux), Benjamin Gregoire (Inria), Pierre Letouzey (U. Denis Diderot), Assia Mahboubi (Inria).
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).
Lieu : Inria - Rocquencourt bâtiment 1
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
Laboratoire commun
Forum Microsoft Research Inria 2011
Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.
Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux
Intervenants : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure
Mots-clés :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Centre > Paris - Rocquencourt > Agenda > Forum Microsoft Research Inria 2011
Centres de recherche Inria
