Work

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

Year: 2014

Type: conference-paper

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.

Source: HAL

Authors: Delahaye, David, Marché, Claude, Mentré, David

Institutions: Centre d'études et de recherche en informatique et communications, Laboratoire de Recherche en Informatique, Mitsubishi Electric (France)

Language: French

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: green

OpenAlex ID: W2223055337

FWCI:

Cites:

Cited by:

Related to: 10