Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B

Résumé : Le projet de recherche industrielle BWare (ANR-12-INSE-0010) est financé pour 4 ans par le programme " Ingénierie Numérique & Sécurité " (INS) de l'Agence Nationale de la Recherche (ANR) et a débuté en septembre 2012 (voir le site web du projet : http://bware.lri.fr). Le consortium du projet BWare associe les partenaires académiques Cedric, LRI, et Inria, ainsi que les partenaires industriels Mitsubishi Electric R&D Centre Europe (MERCE), ClearSy, et OCamlPro.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. EasyChair, 2014
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00998094
Contributeur : Claude Marché <>
Soumis le : vendredi 30 mai 2014 - 14:30:02
Dernière modification le : jeudi 13 septembre 2018 - 15:24:05
Document(s) archivé(s) le : samedi 30 août 2014 - 10:43:11

Fichier

afadl2014_submission_6.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00998094, version 1

Collections

Citation

David Delahaye, Claude Marché, David Mentré. Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. EasyChair, 2014. 〈hal-00998094〉

Partager

Métriques

Consultations de la notice

731

Téléchargements de fichiers

135