De BWare
Révision datée du 11 mars 2015 à 18:24 par Bware (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Sauter à la navigation Sauter à la recherche

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.