Benchmarks

From BWare
(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
 
== Release v1 ==
 
== 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.

Revision as of 18:49, 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.

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox