Benchmarks

From BWare
(Difference between revisions)
Jump to: navigation, search
Line 13: Line 13:
  
  
For further information regarding this release, please read the documentation file here.<br>
+
For further information regarding this release, please read the documentation file [[Media:readme.pdf|here]].<br>
 
Before using this benchmark, carefully read the licensing agreement (included in each archive).
 
Before using this benchmark, carefully read the licensing agreement (included in each archive).
 
</div>
 
</div>

Revision as of 19:15, 11 March 2015

Release v1

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 Europe, two industrial partners of the BWare project.


In this release, several formats are proposed and are divided into several archives. The considered formats are the following:


For further information regarding this release, please read the documentation file here.
Before using this benchmark, carefully read the licensing agreement (included in each archive).

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox