Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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

Abstract

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.
Fichier principal
Vignette du fichier
afadl2014_submission_6.pdf (80.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00998094 , version 1 (30-05-2014)

Identifiers

  • HAL Id : hal-00998094 , version 1

Cite

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. ⟨hal-00998094⟩
233 View
140 Download

Share

Gmail Facebook X LinkedIn More