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]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...