Benchmarks

From BWare
Jump to: navigation, search
Line 2: Line 2:
  
 
<div style="width:690px; float:left;">
 
<div style="width:690px; float:left;">
This is the release v1 of the B Proof Obligation (PO) benchmark of the BWare project. This release is under the CeCILL-B license, and consists of a set of 12,876 POs, which has been provided by ClearSy and Mitsubishi Electric R&D Centre
+
This is the release v1 of the B Proof Obligation (PO) benchmark of the BWare project. This release is under the [http://www.cecill.info/licences.en.html CeCILL-B license], and consists of a set of 12,876 POs, which has been provided by ClearSy and Mitsubishi Electric R&D Centre Europe, two industrial partners of the BWare project.
Europe, two industrial partners of the BWare project.
+
  
  

Revision as of 18:17, 11 March 2015

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox