Published September 5, 2022
| Version 20220905
Dataset
Open
SMTLIB2.6 translation of proof obligations from the B formal method
Description
These files have been produced from the POG files using the program ppTransSmt, distributed with Atelier B.
The source code of this version of ppTransSmt correspond to git commit `abb8ad04003803ea3683d8069363681e92308ebf` (in the private repository
of Atelier B).
Files
Files
(141.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:04358002fe2a1fcb44cd1d975149f108
|
141.8 MB | Download |
Additional details
Funding
- Agence Nationale de la Recherche
- BLaSST - Enhancing B Language Reasoners with SAT and SMT Techniques ANR-21-CE25-0010