Presentation

From BWare
Jump to: navigation, search
 
Line 1: Line 1:
 +
<div style="width:690px; float:left;">
 
The BWare project is an industrial research project that aims to provide a
 
The BWare project is an industrial research project that aims to provide a
 
mechanized framework to support the automated verification of proof obligations
 
mechanized framework to support the automated verification of proof obligations
 
coming from the development of industrial applications using the B method
 
coming from the development of industrial applications using the B method
 
and requiring high guarantees of confidence. It therefore addresses Topic 1
 
and requiring high guarantees of confidence. It therefore addresses Topic 1
(``''Sécurité des systèmes numériques''<nowiki>''</nowiki>) and Topic 2 (``''Ingénierie du logiciel et du matériel''<nowiki>''</nowiki>)
+
(``''Sécurité des systèmes numériques''<nowiki>''</nowiki>) and
 +
Topic 2 (``''Ingénierie du logiciel et du matériel''<nowiki>''</nowiki>)
 
of the [http://www.agence-nationale-recherche.fr/ ANR] [http://www.agence-nationale-recherche.fr/INS-2012 ``''Ingénierie Numérique & Sécurité''<nowiki>''</nowiki>]
 
of the [http://www.agence-nationale-recherche.fr/ ANR] [http://www.agence-nationale-recherche.fr/INS-2012 ``''Ingénierie Numérique & Sécurité''<nowiki>''</nowiki>]
 
call.
 
call.
Line 54: Line 56:
 
help to widely advertise the results of the project in different communities,
 
help to widely advertise the results of the project in different communities,
 
such as academics, industrial actors, developers, and users.
 
such as academics, industrial actors, developers, and users.
 +
</div>

Latest revision as of 01:54, 3 October 2012

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox