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

David Delahaye 1 Claude Marché 2, 3 David Mentré 4
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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.
Document type :
Conference papers
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. EasyChair, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00998094
Contributor : Claude Marché <>
Submitted on : Friday, May 30, 2014 - 2:30:02 PM
Last modification on : Thursday, February 9, 2017 - 3:57:17 PM
Document(s) archivé(s) le : Saturday, August 30, 2014 - 10:43:11 AM

File

afadl2014_submission_6.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00998094, version 1

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>

Share

Metrics

Record views

638

Document downloads

106