Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
afadl2014_submission_6.pdf (80.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Claude Marché  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00998094

Soumis le : vendredi 30 mai 2014-14:30:02

Dernière modification le : lundi 12 février 2024-09:52:06

Archivage à long terme le : samedi 30 août 2014-10:43:11

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-00998094 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS INRIA CNAM UMR8623 INRIA2 LRI-VALS UNIV-PARIS-SACLAY CEDRIC-CNAM HESAM
233 Consultations
140 Téléchargements

Partager

Gmail Facebook X LinkedIn More